This book is the outcome of the successful NATO Advanced Study Institute on Pattern Recognition Theory and Applications, held at St. Anne's College, Oxford, in April 1981. Meer
This book brings together three great motifs of the network society: the seeking and using of information by individuals and groups; the creation and application of knowledge in organizations; and the fundamental transformation of these activities as they are enacted on the Internet and the World Wide Web. Meer
Modern information systems differ in essence from their predecessors. They support operations at multiple locations and different time zones, are distributed and network-based, and use multidimensional data analysis, data warehousing, knowledge discovery, knowledge management, mobile computing, and other modern information processing methods. Meer
From the foreword by Thomas Huang:
"During the past decade, researchers in computer vision have found that probabilistic machine learning methods are extremely powerful. Meer
The aim of this thesis is to give a complete exposition of the main topological and ergodic properties of the expanding maps and provide some new results about their periodic points sets. Meer
The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. Meer
The 1999 Workshop on Spatio-Temporal Database Management, held in Ed- burgh, Scotland, September 10–11, 1999, brought together leading researchers anddevelopersintheareaofspatio-temporaldatabasestodiscussthestate-- the-art in spatio-temporal research and applications and to understand the new challenges and future research directions in this emerging and rapidly advancing area. Meer
This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. Meer
This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999. Meer
The Ninth International Workshop on Persistent Object Systems (POS 9) took place at the SAS Radisson Hotel in Lillehammer, Norway, from 6th to 8th September 2000. Meer
Since its inception in 1968, software engineering has undergone numerous changes. In the early years, software development was organized using the waterfall model, where the focus of requirements engineering was on a frozen requirements document, which formed the basis of the subsequent design and implementation process. Meer
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Meer
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. Meer
Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. Meer
This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. Meer
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. Meer
This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri? Meer
This volume contains the proceedings of the seventh annual
conference on software engineering and training, sponsored
by the Software Engineering Institute (SEI), held in Texas
in January 1994. Meer
Die GI-Fachgruppe 4.4.2 Eehtzeitprogrammierung, obwohl gerade 'im zweiten Jahr', zeigt eine erfreuliehe Resonanz: Die Mitgliederzahl iiberstieg bereits Anfang '93 die Zahl 100. 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