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...

Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelost werden konnen. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich fur das Verstandnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen, das Ubersetzen von Programmen oder die Verarbeitung naturlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen, Grammatikformalismen,...

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.