Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Informatik-Fachberichte |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) |
| ISBN | 9783540108597 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.08.1981 |
| Größe | 244 x 170 mm |
| Verlag | Springer |
| Herausgegeben von | Jörg Siekmann |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
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 Systemfor 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).
| Reihe | Informatik-Fachberichte |
|---|---|
| Themen | Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) |
| ISBN | 9783540108597 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.08.1981 |
| Größe | 244 x 170 mm |
| Verlag | Springer |
| Herausgegeben von | Jörg Siekmann |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?