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