This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und Parallelität"… Meer
The papers in this volume were presented at the 1st Scandinavian Workshop on Algorithm Theory held July 5-8, 1988 in Halmstad, Sweden. The contributions present original research in areas related to algorithm theory, including data structures, computational geometry, and computational complexity… Meer
This book springs from a conference held in Stockholm in May June 1988 on Culture, Language and Artificial Intelligence. It assembled more than 300 researchers and practitioners in the fields of technology, philosophy, history of ideas, literature, linguistics, social· science, etc. The conference… Meer
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of… Meer
In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This book is the outcome of that meeting… Meer
The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days… Meer
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991… Meer
Prolog is important as one of the major programming languages. Beginning with a chapter on logic (which makes the book particularly useful to undergraduate students), Prolog for Computer Science provides a comprehensive tutorial that assumes no prior knowledge of programming… Meer
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type… Meer
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair… Meer
The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 participants from 12 countries spread over five… Meer
Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. This will not only revolutionise the broadcast industry, by making "electronic film sets" possible for example… Meer
Implementing Practical DB2 Applications provides a concise source of information for the development and implication of applications using IBM's DB2 relational database package in the MVS environment… Meer
The German Conference on Arti?cial Intelligence is a traditional and unique yearly event which brings together the German AI community and an increasing numberofinternationalguests.WhilenotasoldasIJCAI(which?rsttookplace in 1969), KI2003 marks a tradition which o?cially began in 1975 with a wor- hop… Meer
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22–26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics… Meer
This book focuses on two issues related to human figures: realtime dynamics computation and interactive motion generation. In spite of the growing interest in human figures as both physical robots and virtual characters, standard algorithms and tools for their kinematics and dynamics computation… Meer
This book constitutes the ?rst volume of the ?rst journal in the new LNCS Jo- nalSubline,theJournalonDataSemantics. Publishingajournalinabookseries might come as a surprise to customers, readers, and librarians, thus we would like to provide some background information and our motivation for… Meer
Bei Mac OS X handelt es sich um das jüngste Betriebssystem von Apple Computer. Es unterscheidet sich vom Vorgänger Mac OS 9 nicht nur durch eine Vielzahl von neuen Funktionen und durch die neue Benutzeroberfläche Aqua, sondern vor allen Dingen durch die Nutzung von Mach und BSD als Basis für seine… Meer
Science has made great progress in the twentieth century, with the establishment of proper disciplines in the fields of physics, computer science, molecular biology, and many others. At the same time, there have also emerged many engineering ideas that are interdisciplinary in nature, beyond the… Meer
When we set about organizing EPIA 2003 in Porto during the APPIA meeting at the previous edition of the conference, EPIA 2001, it was decided that it would be organized by Fernando Moura Pires (Faj´ e) and myself… 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
