Author: H.T. Kung Gordon McKay Professor of Electrical En
Publisher: National Academies Pre
Keywords: lecture, international, ries, science, fourth, management, speed, networks, traffic
Number of Pages: 32
Published: 1997-05-16
List price: unknow
ISBN-10: 0309057981
ISBN-13: 9780309057981
Author:
Publisher: Springer Berlin Heidelberg
Keywords: lecture, part, september, proceedings, notes, intelligence, artificial, belgium, antwerp, knowledge, learning, discovery, databases, conference, european, machine
Number of Pages: 692
Published: 2008-09-04
List price: $86.62
ISBN-10: 354087478X
ISBN-13: 9783540874782
Author: Warren A. Jr. Hunt
Publisher: Springer
Keywords: lecture, notes, artificial, intelligence, science, computer, verified, fm8501, microprocessor
Number of Pages: 333
Published: 1994-06-24
List price: $77.95
ISBN-10: 3540579605
ISBN-13: 9783540579601
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now e
Author:
Publisher: Springer
Keywords: lecture, notes, computer, artificial, intelligence, science, systems, extraction, towards, scalable, adaptable, information
Number of Pages: 165
Published: 1999-10-29
List price: $52.95
ISBN-10: 3540666257
ISBN-13: 9783540666257
Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically. IE essentially builds on natural language processing and computational linguistics, but it is also closely related to the well established area of information retrieval and involves learning. In concert with other promising intelligent information processing technologies like data mining, intelligent data analysis, text summarization, and information agents, IE plays a crucial role in dealing with the vast amounts of information accessible electronically,
Hybrid Neural Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Author:
Publisher: Springer
Keywords: lecture, notes, artificial, intelligence, science, computer, neural, hybrid, systems
Number of Pages: 420
Published: 2000-05-11
List price: $89.95
ISBN-10: 3540673059
ISBN-13: 9783540673057
Hybrid neural systems are computational systems which are based mainly on artificial neural networks and allow for symbolic interpretation or interaction with symbolic components. This book is derived from a workshop held during the NIPS’98 in Denver, Colorado, USA, and competently reflects the state of the art of research and development in hybrid neural systems. The 26 revised full papers presented together with an introductory overview by the volume editors have been through a twofold process of careful reviewing and revision. The papers are organized in the following topical sections
Author: Robin Hartshorne
Publisher: Springer
Keywords: notes, lecture, given, harvard, mathematics, grothendieck, seminar, duality, residues, work
Number of Pages: 432
Published: 1966-01-01
List price: $59.00
ISBN-10: 3540036032
ISBN-13: 9783540036036
Author: Christian Mller
Publisher: Springer
Keywords: notes, lecture, science, artificial, intelligence, computer, classification, features, methods, speaker, fundamentals
Number of Pages: 355
Published: 2007-09-14
List price: $79.95
ISBN-10: 3540741860
ISBN-13: 9783540741862
As well as conveying a message in words and sounds, the speech signal carries information about the speaker’s own anatomy, physiology, linguistic experience and mental state. These speaker characteristics are found in speech at all levels of description: from the spectral information in the sounds to the choice of words and utterances themselves. This volume and its companion volume, LNAI 4441, constitute a state-of-the-art survey for the field of speaker classification. They approach the following questions: What characteristics of the speaker become manifest in his or her voice and sp
