This book coherently documents the results and experiences of a major digital library pilot effort, the MeDoc project (Multimedia Electronic Documents). Meer
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. Meer
The RSA Conference is the largest regularly-staged computer security event, with over 350 vendors and many thousands of attendees. The Cryptographers’ Track (CT-RSA) is a research conference within the RSA Conference. Meer
TheInternetisamassiveglobalnetworkofover700millionusersanditisadding users at the rate of 300,000 per day. This large, distributed, and everchanging network poses a challenge to researchers: How does one study, model, or und- stand such a decentralized, constantly evolving entity? Meer
Recently, there has been a lot of interest in provably "good" pseudo-random number generators [lo, 4, 14, 31. These cryptographically secure generators are "good" in the sense that they pass all probabilistic polynomial time statistical tests. Meer
GWAI-84, die achte deutsche Fachtagung iiber Kiinstliche InteIligenz, fand yom 8. bis 12. Oktober 1984 im Wikings Inn in Wingst/Stade statt. Sie wurde von etwa 130 Teilnehmern besucht. Meer
This book contains 22 lectures presented at the final conference of the Ger man research program (Schwerpunktprogramm) Algorithmic Number The ory and Algebra 1991-1997, sponsored by the Deutsche Forschungsgemein schaft. Meer
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. Meer
This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris. Meer
This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Tallinn, Estonia, in August/September 1998. Meer
The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour. Meer
This book constitutes the refereed proceedings of the 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998. Meer
This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT’98), held at the European education centre Europ¨aisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. Meer
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS’98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP’98 and several wo- shops. 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