The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers… Meer
In the light of the challenges that face today's organizations, there is a grow ing recognition that future market success and long term' survival of enter prises will increasingly depend upon the effective usage of information technology… Meer
The application of intelligent imaging techniques to industrial vision problems is an evolving aspect of current machine vision research. Machine vision is a relatively new technology, more concerned with systems engineering than with computer science, and with much to offer the manufacturing… Meer
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003… Meer
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML… Meer
UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies… Meer
Electronic negotiations concern transactions on the basis of electronic media, such as the Internet. Platforms have been developed to aid participants in electronic markets during the agreement phase… Meer
Mathematik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universitäten… Meer
In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields. The INRECA methodology presented in detail in this monograph provides a data analysis framework for… Meer
Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and… Meer
This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11–13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14–16,2004… Meer
Wie bestimmt man in einer Menge von Punkten am schnellsten zu jedem Punkt seinenn¨ achstenNachbarn?Wiel¨ aßtsichderDurchschnittvonzweiPolygonene?zient berechnen? Wie ?ndet man ein Ziel in unbekannter Umgebung?… Meer
This thesis deals with the problems of characterizing the semantics of and assuringe?cient executionfor databasequery languages,wherethedatabase contains semistructured and time-varying information. This area of techn- ogy is of much interest and signi?cance for databases and knowledge bases; it… Meer
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor… Meer
This book presents some facts and methods of the Mathematical Control Theory treated from the geometric point of view. The book is mainly based on graduate courses given by the first coauthor in the years 2000-2001 at the International School for Advanced Studies, Trieste, Italy… Meer
“Anything happens must have its own reason ”. Although I cannot really recall exactly when I heard of this statement for the first time, it is always in my mind and in fact it has been one of the motivations for me to carry out research and study… Meer
The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and in Germany. The conference of March 25–27, 2004 at the Corum, Montpellier was the twenty-?rst in this series… Meer
This book constitutes a coherent anthology consisting of invited chapter-length papers on intelligent hypertext techniques with special emphasis on how to apply these techniques to the World Wide Web… Meer
This handbook is more than a standard introduction to databases; it is a comprehensive set of tools that makes learning basic database and hypermedia concepts much easier. The basic ideas and architecture of relational and object-oriented databases are presented, followed by hypermedia systems… Meer
Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character… 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
