This book contains a collection of revised refereed papers selected from the presentations at the 5th East-West Conference on Human-Computer Interaction, EWHCI '95, held in Moscow, Russia, in July 1995. Meer
This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley. Meer
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. Meer
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. Meer
This book constitutes the refereed revised post-workshop proceedings of the 5th International Workshop on Network and Operating Systems Support for Digital Audio and Video, NOSSDAV '95, held in Durham, New Hampshire, USA in April 1995. Meer
The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. Meer
This volume constitutes the refereed proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling, OOER '95, held in Gold Coast, Australia in December 1995. Meer
This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. Meer
Genetic algorithms are founded upon the principle of evolution, i.e., survival of the fittest. Hence evolution programming techniques, based on genetic algorithms, are applicable to many hard optimization problems, such as optimization of functions with linear and nonlinear constraints, the traveling salesman problem, and problems of scheduling, partitioning, and control. Meer
Maple V est un logiciel de calcul formel qui comporte non seulement un environnement interactif mais aussi un langage de programmation. Programmer avec Maple V est un ouvrage entièrement nouveau qui présente les caractéristiques de ce langage de programmation. Meer
The information market place is on the horizon. However, it is unlikely that the basic functions of commerce will change appreciably, even as the coming electronic revolution dramatically changes the forms of commerce. Meer
This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. Meer
This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. Meer
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. Meer
This book contains the invited reviewed session papers solicited for presentation as key papers at the Second Asian Conference on Computer Vision, ACCV '95, held in December 1995 in Singapore. Meer
This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995. Meer
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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