Der vorliegende Tagungsband enthalt die meisten Vortrage der gemeinsamen Tagung der Deutschen Gesellschaft fUr Angewandte Optik (DGaO) und der Deutschen Arbeits gemeinschaft fUr Musterkennung (DAr,M). Meer
Machine Translation and the Information Soup! Over the past fty years, machine translation has grown from a tantalizing dream to a respectable and stable scienti c-linguistic enterprise, with users, c- mercial systems, university research, and government participation. Meer
This text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair men, was primarily, but not exclusively, concerned with a variety of tools supporting pre-implementation phases of software development. Meer
Dieses Buch soll demonstrieren, wie man Programme schreibt, die sich gut als Werkzeuge eignen. Dazu stellen wir eine umfassende Sammlung von Programmen vor, jedes davon ein Lehrbeispiel flir Entwurf und Implementierung. Meer
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. Meer
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Meer
Die dritte Fachtagung ProzeBrechner wird, ebenso wie die vorangegan genen ProzeBrechner-Fachtagungen 1974 (Karlsruhe) und 1977 (Augsburg) von der Gesellschaft fUr Informatik (GI), der Gesellschaft MeB- und Regelungstechnik (VDI/VDE-GMR) und dem Kernforschungszentrum Karlsruhe (KfK) gemeinsam veranstaltet. Meer
The accelerated development of faster and cheaper electronic components faces the software designer with new challenges. One of them is to predict the viability of current architecture and the performance of current operating systems on CPUs able to operate at instruction-per-second rates about one order of magnitude higher than those available today. Meer
Thoroughly refereed post-proceedings of the 5th International Workshop on Innovative Internet Community Systems, IICS 2005, held in Paris, France, in June 2005. Meer
Bei dem Einsatz von optischen Sensorsystemen im industriellen Bereich laBt sich in vielen Fallen die optische Eingangsinformation "maschinengerecht" gestalten. Meer
The inspiration for this book emerged from the editors’ participation in a panel d- cussion on Web search engines at an annual meeting of the Association of Internet Researchers. Meer
Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006. Meer
There is now a serious discussion taking place about the moment at which human beings will be surpassed and replaced by the machine. On the one hand we are designing machines which embed more and more human intelligence, but at the same time we are in danger of becoming more and more like machines. Meer
Das seit 1975 im ein- bis dreijährigen Turnus ausgerichtete "Aachener Symposium für Signaltheorie" - früher "Aachener Kolloquium" - widmet sich schwerpunktmäßig den theoretischen Grundlagen der Signalverarbeitung. Meer
Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Meer
This volume contains the full text of twenty ofthe twenty-one papers given at the Montreux 1990 International Chemical Information Conference in Mon treux, Switzerland between 24 and 26 September 1990. Meer
This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. 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