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