This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suiteThe theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
Lire la suiteParsing can be defined as the decomposition of complex structures into their constituent parts, and parsing technology as ...
Lire la suiteNew Directions in Cognitive Information Retrieval presents an exciting new direction for research into cognitive oriented ...
Lire la suiteThe book presents chapters by an interdisciplinary range of scholars who show new directions that often challenge the established ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized ...
Lire la suiteThe objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...
Lire la suiteThis book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
Lire la suiteThe objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers ...
Lire la suiteThis book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese ...
Lire la suiteThe technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
Lire la suiteThe book is structured in four parts: Part I “The Big Data Opportunity” explores the value potential of big data with ...
Lire la suiteParallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...
Lire la suiteNew Methods of Concurrent Checking is the ultimate reference to answer the question as to how the best possible state-of-the-art ...
Lire la suiteThe goal of eSTREAM was to promote the design of new stream ciphers with a particular emphasis on algorithms that would be ...
Lire la suiteComputation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided ...
Lire la suiteThe 20 International Conference on Industrial, Engineering and Other Applications of Applied Intelligent S- tems (IEA/AIE-2007) ...
Lire la suiteGathers selected, peer-reviewed original contributions presented at the International Conference on Computational Vision ...
Lire la suiteThis book constitutes thoroughly refereed short papers of the 24th European Conference on Advances in Databases and Information ...
Lire la suite