Dieser Band ist der Bericht von einer Tagung zum Thema Verarbeitung natürlicher Sprache am Computer. Er enthält Lang- und Kurzbeiträge führender Wissenschaftler aus dem deutschsprachigen Raum sowie aus den USA… Meer
Der Band enthält die Beiträge zum 5. Symposium Simulationstechnik, das im September 1988 an der RWTH Aachen stattfand. Die Vorträge reflektieren den State-of-the-Art der Simulationstechnik in allen Anwendungsbereichen… Meer
Baum-Suchverfahren werden in der Informatik, insbesondere im Teilbereich der Künstlichen Intelligenz, zum Durchsuchen von Entscheidungsbäumen eingesetzt. Das vorliegende Buch befaßt sich mit Baum-Suchverfahren für eine spezielle Art von Entscheidungsbäumen, den Spielbäumen… Meer
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph… Meer
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands… Meer
Dieser Band enthält die Beiträge - darunter auch sechs eingeladene - zu einer Fachtagung, die der Fachausschuß 2.1 "Programmiersprachen und Software-Entwicklung" der Gesellschaft für Informatik in Zusammenarbeit mit der Universität Marburg vom 21. bis 23. Juni 1989 veranstaltet hat… Meer
This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential… Meer
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming… Meer
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315… Meer
Die Grundlagen der Expertensystemtechnik, der aktuelle technische Stand, ihre Einsatzgebiete, ihre Verbreitung im Bereich der industriellen Produktion und in Verwaltung und Büro und die absehbare Entwicklung werden in diesem Buch kritisch betrachtet… Meer
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für… Meer
A collection of papers on computer vision research in Euro- pe, with sections on image features, stereo and reconstruc- tion, optical flow, motion, structure from motion, tracking, stereo and motion, features and shape, shape description, and recognition and matching. Meer
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity… Meer
Bei der Entwicklung komplexer Automatisierungssysteme sind immer umfangreichere Aufgaben von einer steigenden Anzahl miteinander kommunizierender Rechner zu lösen. Dazu bedarf es der Verwendung einer adäquaten Entwicklungsumgebung… Meer
Ein breiter Einsatz von Expertensystemen wird zur Zeit am st{rksten durch das Fehlen einer Theorie behindert, die be- sagt, f}r welche Problemklassen welche Probleml|sungsmetho- den verf}gbar sind. Dieses Buch begr}ndet eine solche Theorie… Meer
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen… Meer
This book is a collection of the finalized versions of the papers presented at the third Eurographics Workshop on Graphics Hardware. The diversity of the contributions reflects the widening range of options for graphics hardware that can be exploited due to the constant evolution of VLSI and… Meer
Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops on compiler compilers. Selected papers address the topics of requirements, properties, and theoretical aspects of compiler compilers… Meer
This volume is the proceedings of the Second Advanced School on Artificial Intelligence (EAIA '90) held in Guarda, Portugal, October 8-12, 1990. The focus of the contributions is natural language processing… Meer
Das Thema "Computer-Sicherheit" gehOrt zu den Modethemen der DV-Branche. Doch je nach Zielvorstellung und Ausgangspunkt liegen jeweils andere Frage stellungen im Schwerpunkt der Diskussion zu diesem Thema… Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books
