Wyniki wyszukiwania:

Dieses Buch fuhrt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenstrome und Geschaftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Losung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschaftsprozessen entstandenen neuen Herausforderungen bezuglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen...

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas," i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.