This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. Meer
This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna, Austria in March 2006 as part of ETAPS. Meer
This book constitutes the refereed proceedings of the 28th European Conference on Information Retrieval Research, ECIR 2006, held in London, April 2006. Meer
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Digital Libraries, DELOS 2007, held in Pisa, Italy, in February 2007. Meer
This book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007, held in Bangalore, India, in December 2007. Meer
This book constitutes the refereed proceedings of the Second Pacific Rim Symposium on Image and Video Technology, PSIVT 2007, held in Santiago, Chile, in December 2007. Meer
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. Meer
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008. Meer
This book is an introduction to some new fields in soft computing with its principal components of fuzzy logic, ANN and EA. The approach in this book is to provide an understanding of the soft computing field and to work through soft computing using examples. Meer
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. Meer
Wireless ad-hoc sensor networks have recently become a very active research subject due to their high potential of providing diverse services to numerous - portant applications, including remote monitoring and tracking in environm- tal applications and low-maintenance ambient intelligence in everyday life. Meer
The symposium “Languages: From Formal to Natural,” celebrating the 65th birthday of Nissim Francez, was held on May 24–25, 2009 at the Technion, Haifa. Meer
1.1 Introduction Each year corporations spend millions of dollars training and educating their - ployees. On average, these corporations spend approximately one thousand dollars 1 per employee each year. Meer
Libraries have always been an inspiration for the standards and technologies developed by semantic web activities. However, except for the Dublin Core specification, semantic web and social networking technologies have not been widely adopted and further developed by major digital library initiatives and projects. Meer
In this monograph, the authors introduce a novel fuzzy rule-base, referred to as the Fuzzy All-permutations Rule-Base (FARB). They show that inferring the FARB, using standard tools from fuzzy logic theory, yields an input-output map that is mathematically equivalent to that of an artificial neural network. Meer
The application of geometric algebra to the engineering sciences is a young, active subject of research. The promise of this field is that the mathematical structure of geometric algebra together with its descriptive power will result in intuitive and more robust algorithms. Meer
A modern information retrieval system must have the capability to find, organize and present very different manifestations of information – such as text, pictures, videos or database records – any of which may be of relevance to the user. Meer
Middleware is a critical foundation needed to leverage the development of a wide range of mobile and ubiquitous applications. Intrinsic challenges when building such middleware require the combination of expertise from areas like distributed systems, networking, software engineering, and application development. Meer
Along the years, rough set theory has earned a well-deserved reputation as a sound methodology for dealing with imperfect knowledge in a simple though mathematically sound way. Meer
Etwa ein Jahr nach dem Erscheinen von Windows Vista hat Microsoft das erste Service Pack herausgegeben, das viele Fehler der Originalfassung korrigiert und neue Funktionen einführt. 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