Author: Arthur C. GossardUniversity of California at Sant
Publisher: National Academies Press
Keywords: lecture, international, science, series, vol, seventh, physics, future, epitaxy, electronics, optics, quantum, advanced
Number of Pages: 20
Published: 2000-11-22
List price: $15.00
ISBN-10: 0309072654
ISBN-13: 9780309072656

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: Peter Graf
Publisher: Springer
Keywords: lecture, notes, artificial, intelligence, science, computer, term, indexing
Number of Pages: 284
Published: 1996-03-27
List price: $69.95
ISBN-10: 3540610405
ISBN-13: 9783540610403

Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed t

Author: Jan W. Amtrup
Publisher: Springer
Keywords: lecture, notes, artificial, intelligence, science, computer, speech, incremental, translation
Number of Pages: 224
Published: 2000-01-07
List price: $59.95
ISBN-10: 3540667539
ISBN-13: 9783540667537

This book describes a complete translation system for spontaneously spoken language, constructed using the incremental paradigm. It starts by presenting the theoretical and algorithmic basis necessary to cope with the complex endeavour of translating speech incrementally and in parallel. In particular, graph-theoretic foundations of natural language processing and feature-based descriptions of linguistic objects are covered. A thorough description of the system and its performance follows. The author covers syntactic and semantic processing as well as transfer and syntactic generation. Thus th

Authors:Stefan Wermter, Ron Sun,
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: C. Müller
Publisher: Springer
Keywords: notes, lecture, science, artificial, intelligence, computer, classification, papers, speaker, selected
Number of Pages: 309
Published: 2007-09-14
List price: $69.95
ISBN-10: 3540741216
ISBN-13: 9783540741213

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 two volume set, LNAI 4343 and LNAI 4441, constitutes a state-of-the-art survey for the field of speaker classification. It approaches the following questions: What characteristics of the speaker become manifest in his or her voice and spea

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