UID:
almahu_9948621410702882
Umfang:
XII, 320 p. 14 illus.
,
online resource.
Ausgabe:
1st ed. 1981.
ISBN:
9783662023280
Serie:
Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI ; 47
Anmerkung:
Computersehen und Roboterforschung -- Models and Structures in Image Processing (Hauptvortrag) -- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects (Fachvortrag) -- Robotics Research: From Toy Worlds to Industrial Applications (Hauptvortrag) -- Natürlichsprachliche KI-Systeme -- Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive (Hauptvortrag) -- SWISS - A Natural Language Question Answering System for Scene Analysis (Fachvortrag) -- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene (Fachvortrag) -- Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag) -- Expertensysteme/Verarbeitung Natürlicher Sprache -- Expert Systems: State of the Art and Future Prospects (Hauptvortrag) -- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types (Fachvortrag) -- Context Directed Translation (Fachvortrag) -- GLP: A Linguistic Processor (Abstract) -- KI-Sprachen und Deren Anwendungen -- AI Languages and AI Machines: An Overview (Hauptvortrag) -- A Concurrent Chart Parser (Abstract) -- A Parallel Connection Graph Proof Procedure (Fachvortrag) -- Integrated Knowledge-Based Information Manipulation Systems (Abstract) -- Automatisches Beweisen und Connectiongraphverfahren -- Mating in Matrices (Hauptvortrag) -- Subsumption and Connectionsgraphs (Fachvortrag) -- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure (Abstract) -- Elimination of Redundant Links in Extended Connection Graphs (Fachvortrag) -- Termersetzungssysteme und Automatisches Beweisen -- Term Reduction Systems and Algebraic Algorithms (Hauptvortrag) -- A Noetherian Rewrite System for Idempotent Semigroups (Fachvortrag) -- On the Completeness of Connection Graph Resolution (Abstract) -- Generating small Models of First Order Axioms (Fachvortrag) -- Programmverifikation/Sprache/Spiele -- Programmverification at Stanford: Past, Present Future (Hauptvortrag) -- A System for Understanding Continuous German Speech (Fachvortrag) -- Verarbeitung von externer und interner Situation in Überzeugungssystemen (Fachvortrag) -- Structures for Knowledge-Based Chess Programs (Fachvortrag) -- Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783540108597
Weitere Ausg.:
Printed edition: ISBN 9783662023297
Sprache:
Englisch
DOI:
10.1007/978-3-662-02328-0
URL:
https://doi.org/10.1007/978-3-662-02328-0
