Informatik (15 757 Artikel)

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent researc...

hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Z...

Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM -- korrekter Entwurf von Kommunkationssoftware.- LOT...

Neuartige Systemleistungen.- Operatorbasierte Modifikation objektorientierter Graphiken oder Wie verschönert man eine Zeichnung?.- Planbasierte graphische Hilfe in objektorientierten Benutzungsober...

1. Einleitung.- 2. Grundlagen.- 2.1. Das Points-in-Regions Mengenproblem.- 2.2 Zugrundeliegendes Speicher- und Berechnungsmodell.- 2.3. Der Priority Search Tree.- 2.4. Der Segment Tree.- 2.5. Der I...

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, des...

This volume contains the 5 invited papers and 72 selected papers that were presented at the Fifth International Conference on Industrial and Engineering Applications of Artificial Intelligence. Thi...

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encoura...

One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an inves...

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and form...

This book deals with an important topic in distributed AI: the coordination of autonomous agents' activities. It provides a framework for modelling agents with planning and communicative competence...

Traditional database systems have been able to manipulate large amounts of data efficiently, whilst artificial intelligence (and in particular expert systems) have reasoned with rules, but rarely w...

Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new d...

I: Aufbau bereichsspezifischer Schemata.- Visuelles Lernen mit neuronalen Netzen.- Zur Diagnose und Modellierung von Wissensveränderungen im Rahmen einer Stocksituationstheorie.- Das HALMOR System:...

1 Einleitung.- 1.1 Motivation.- 1.2 Ziel der Arbeit.- 1.3 Aufbau der Arbeit.- 2 Synthese und Test hochintegrierter Steuerwerke.- 2.1 Steuerwerksentwurf.- 2.2 Testmethoden.- 2.3 Entwurfsmaßnahmen zu...