Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
Bildverstehen.- Das 'Bootstrap-Problem' bei der geometrischen Szenenrekonstruktion - eine Ubersicht.- Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln.- EPEX: Bildfolgendeutung auf Episodenebene.- On Modelling Events with an 'Analogical' Representation.- Natürlichsprachliche Systeme und die Verarbeitung gesprochener Sprache.- KI-Methoden in der Maschinellen Übersetzung?.- Generierung aus f-Strukturen als strukturgesteuerte Ableitung.- FREGE - Ein objektorientierter FRont-End-Generator.- Concretion Inferences in Natural Language Understanding.- Modelling Heuristic Parsing Strategies.- Deeper Reasons for Shallow Processing.- An Organization of Lexical Knowledge for Generation.- A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding.- Wissensrepräsentation und KI-Programmierung.- Issues of Integration and Balancing in Hybrid Knowledge Representation Systems.- Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen der KI.- Higher-order Concepts in a Tractable Knowledge Representation.- Using Logic Programming for Fault Diagnosis in Digital Circuits.- Expertensysteme.- Specifying Meta-Level Architectures for Rule-Based Systems.- Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning.- Deduktive Systeme.- An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System.- Belief Revision in Diagnosis.- Erweiterungen des Basic ATMS.- Oldy but Goody - Paramodulation Revisited.- Program Verification by Symbolic Execution and Induction.- Resolution on Formula Trees.- A Hyperresolution-based Proof Procedure and its Implementation in PROLOG.- Narrowing Techniques Applied to Idempotent Unification.- THEOPOGLES - A Theorem Prover Based onFirst-order Polynomials and a Special Knuth-Bendix Procedure.- Selbstrepräsentierende Systeme.- Computational Reflection.- Kognitives Modellieren.- Cognitive Modelling and Education.- Spezielle Sektionen Kognition - Wissensstrukturen beim Aufgabenlösen.- Wissen und Können: Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen.- Repräsentationsformen beim menschlichen Problemlösen.- Mentale Bilder und Wegbedeutungen.- Generierung in natürlichsprachlichen Systemen.- Generation of Content vs. Generation of Form: A Review of Recent Work in the SEMSYN Project.- Ein erster Blick auf POPEL: Wie wird was gesagt?.- How to say WHAT - IT or SOMETHING.- Generierung natürlichsprachlicher AuBerungen zur simultanen Beschreibung von zeitveränderlichen Szenen.- Repräsentationssysteme für Grammatik und Lexikon.- Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon.- Zur lexikalischen Wissensquelle des Generierungssystems SEMSYN.- Generierung mit GPSG.- Künstliche Intelligenz und Datenbanksysteme - Systesarchitektur und konzeptuelle Modellierung.- Architectural Concepts for Large Knowledge Bases.- Interfacing PROLOG and External Data Management Systems: A Model.- Abbildung von Frames auf neuere Datenmodelle.
Bildverstehen.- Das 'Bootstrap-Problem' bei der geometrischen Szenenrekonstruktion - eine Ubersicht.- Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln.- EPEX: Bildfolgendeutung auf Episodenebene.- On Modelling Events with an 'Analogical' Representation.- Natürlichsprachliche Systeme und die Verarbeitung gesprochener Sprache.- KI-Methoden in der Maschinellen Übersetzung?.- Generierung aus f-Strukturen als strukturgesteuerte Ableitung.- FREGE - Ein objektorientierter FRont-End-Generator.- Concretion Inferences in Natural Language Understanding.- Modelling Heuristic Parsing Strategies.- Deeper Reasons for Shallow Processing.- An Organization of Lexical Knowledge for Generation.- A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding.- Wissensrepräsentation und KI-Programmierung.- Issues of Integration and Balancing in Hybrid Knowledge Representation Systems.- Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen der KI.- Higher-order Concepts in a Tractable Knowledge Representation.- Using Logic Programming for Fault Diagnosis in Digital Circuits.- Expertensysteme.- Specifying Meta-Level Architectures for Rule-Based Systems.- Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning.- Deduktive Systeme.- An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System.- Belief Revision in Diagnosis.- Erweiterungen des Basic ATMS.- Oldy but Goody - Paramodulation Revisited.- Program Verification by Symbolic Execution and Induction.- Resolution on Formula Trees.- A Hyperresolution-based Proof Procedure and its Implementation in PROLOG.- Narrowing Techniques Applied to Idempotent Unification.- THEOPOGLES - A Theorem Prover Based onFirst-order Polynomials and a Special Knuth-Bendix Procedure.- Selbstrepräsentierende Systeme.- Computational Reflection.- Kognitives Modellieren.- Cognitive Modelling and Education.- Spezielle Sektionen Kognition - Wissensstrukturen beim Aufgabenlösen.- Wissen und Können: Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen.- Repräsentationsformen beim menschlichen Problemlösen.- Mentale Bilder und Wegbedeutungen.- Generierung in natürlichsprachlichen Systemen.- Generation of Content vs. Generation of Form: A Review of Recent Work in the SEMSYN Project.- Ein erster Blick auf POPEL: Wie wird was gesagt?.- How to say WHAT - IT or SOMETHING.- Generierung natürlichsprachlicher AuBerungen zur simultanen Beschreibung von zeitveränderlichen Szenen.- Repräsentationssysteme für Grammatik und Lexikon.- Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon.- Zur lexikalischen Wissensquelle des Generierungssystems SEMSYN.- Generierung mit GPSG.- Künstliche Intelligenz und Datenbanksysteme - Systesarchitektur und konzeptuelle Modellierung.- Architectural Concepts for Large Knowledge Bases.- Interfacing PROLOG and External Data Management Systems: A Model.- Abbildung von Frames auf neuere Datenmodelle.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
