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