Informatik (15 757 Artikel)

The complexity of sparse sets in P.- Isomorphisms and 1-L reductions.- Randomness, relativizations, and polynomial reducibilities.- On non-uniform polynomial space.- One-way functions and circuit c...

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming...

The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Pa...

1 Künstliche Intelligenz und Kognitionswissenschaft.- 1.1 Zur Disziplinenhistorie und zur interdisziplinären Einordnung.- 1.2 Das Informationsverarbeitungs-Paradigma.- 1.3 KI und Kognitionswissensc...

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation wer...

Characterizations of PUNC and precomputation.- Comparison of algorithms controlling concurrent access to a database: A combinatorial approach.- A new duality result concerning Voronoi diagrams.- Cl...

Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementat...

Left-associative grammar.- Left-associative parsing.- The category system of left-associative grammar.- The local nature of possible continuations.- A left-associative fragment of English.

This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were...

Anwendungen der Mustererkennung.- Automatische Fehlererkennung in Holzoberflächen.- Verstehen von Landkarten.- A Coded Light Approach for Depth Map Acquisition.- Vereinzelung sich berührender Objek...

von Band I.- Hauptprogramm.- Der individuelle Rechner im Netzverbund als Arbeitsplatz des Ingenieurs.- Computer Integrated Manufacturing: Eine Strategie der Produktion.- Nichtprozedurale Sprachen u...

1 Formen der Wissensrepräsentation.- 1.1 Repräsentationsformen.- 1.2 Datenmodelle.- 1.3 Zusammenfassung.- 2 Datenmodellanforderungen.- 2.1 Überblick und Historie.- 2.2 Relationengebilde im relation...

In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for compu...

1 Sprachunabhängige Aspekte der Programmierung.- 1.1 Programmierumgebungen.- 1.2 Divide et impera und Rekursion.- 1.3 Syntax.- 1.4 Syntaxanalyse.- 1.4.1 Die Rolle der Syntaxanalyse.- 1.4.2 Syntaxan...

Grundsatzreferate.- Was sollte von Informatik in der Schule vermittelt werden?.- Allgemeinbildung und informationstechnische Grundbildung.- ,,Informatik Grundbildung" als Herausforderung an die ber...