Informatik (15 757 Artikel)

This book presents a selection of the papers presented at EUROCODE '90, the symposium on coding theory held in Udine, Italy, November 1990. It gives the state of the art on coding in Europe and ran...

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, ...

Complex machines can fail in complex ways. Often the nature of the fault can be determined only through the interpretation of machine behavior over time. This book presents a novel approach to the ...

presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract c...

The management and processing of uncertain information has shown itself to be a crucial issue in the development of intelligent systems, beginning withits appearance in the such systems as Mycin an...

1. Technische und philosophische Grundlagen.- 2. Geschichte der Informationsverarbeitung.- 3. Al Chorezmi (783-850) -- Der Namensgeber des Algorithmus.- 4. Sprache -- Syntax und Semantik in der Inf...

Planning - formulating a course of action - and related fields like scheduling or reasoning about action have a long research tradition in artificial intelligence. However, there seems to have been...

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 s...

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the de...

Spatial database management has become an important subarea of current database research. Research in this area is often characterized by interdisciplinary cooperation: computer scientists work wit...

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the ...

1 Einführung und Grundbegriffe.- 1.1 Systeme.- 1.2 Modelle.- 1.3 Simulation.- 1.4 Modellbildung und Modellbildungszyklus.- 1.5 Anwendungsfelder der zeitdiskreten Simulation.- 1.6 Möglichkeiten und ...

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to commu...

1 Motivation und Zielsetzung.- 1.1 Unterstützung der Softwareerstellung durch Werkzeuge.- 1.2 Konfigurationsverwaltung: Bedeutung und Unterstützung.- 1.3 Werkzeuge zur Revisions- und Konsistenzkont...

This special volume contains the Proceedings of a Workshop on "Parallel Algorithms and Transputers for Optimization" which was held at the University of Siegen, on November 9, 1990. The purpose of ...