Artificial intelligence Books

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy,...

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy,...

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy,...

This book constitutes the refereed proceedings of the 6th International Conference on Information Processing, ICIP 2012, held in Bangalore, India, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 380...

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4...

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers,...

This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012. The 46 high-quality papers presented were...

One of the world's leading problems in the field of national security is protection of borders and borderlands. This book addresses multiple issues on advanced innovative methods of multi-level control of both ground (UGVs) and aerial drones (UAVs)...

This volume focuses on new challenges in distributed Information Filtering and Retrieval. It collects invited chapters and extended research contributions from the DART 2011 Workshop, held in Palermo (Italy), on September 2011, and co-located with the...

This book constitutes the first of 3 volumes of refereed conference proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented were carefully reviewed...

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 85 revised full papers presented were carefully reviewed and...

Questions related to language acquisition have been of interest for many centuries, as children seem to acquire a sophisticated capacity for processing language with apparent ease, in the face of ambiguity, noise and uncertainty. However, with recent...

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Virtual and Networked Organizations, Emergent Technologies, and Tools, ViNOrg 2011, held in Ofir, Portugal, in...

In Computer Graphics, the use of intelligent techniques started more recently than in other research areas. However, during these last two decades, the use of intelligent Computer Graphics techniques is growing up year after year and more and more...

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy,...

2012 International Conference of Intelligence Computation and Evolutionary Computation (ICEC 2012) is held on July 7, 2012 in Wuhan, China. This conference is sponsored by Information Technology & Industrial Engineering Research Center. ICEC 2012 is...

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented...

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized...

The field of artificial economics (AE) embraces a broad range of methodologies relying on computer simulations in order to model and study the complexity of economic and social phenomena. The overarching principle of AE is the analysis of aggregate...

This book constitutes the refereed proceedings of the 20 th International Conference on User Modeling, Adaptation, and Personalization, held in Montreal, Canada, in July 2012. The 22 long and 7 short papers of the Research...

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short...

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of...

This book constitutes the refereed proceedings of the Third International Conference on Autonomous and Intelligent Systems, AIS 2012, held in Aveiro, Portugal, in June 2012, collocated with the International Conference on Image...

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were...

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on...

This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume,...

In this book, internationally recognized experts in philosophy of science, computer science, and modeling and simulation are contributing to the discussion on how ontology, epistemology, and teleology will contribute to enable the next generation of...

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3...

Call Admission Control (CAC) and Dynamic Channel Assignments (DCA) are important decision-making problems in mobile cellular communication systems. Current research in mobile communication considers them as two independent problems, although the former...

This book constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. The 18 technical full papers presented together with 7 posters were carefully reviewed and...

The book provides an overview of more than a decade of joint R&D efforts in the Low Countries on HLT for Dutch. It not only presents the state of the art of HLT for Dutch in the areas covered, but, even more importantly, a description of the resources...

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks...

Learning Technology for Education in Cloud investigates how cloud computing can be used to design applications to support real time on demand learning using technologies. The workshop proceedings provide opportunities for delegates to discuss the latest...

This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science,...

Reaction-diffusion and excitable media are amongst most intriguing substrates. Despite apparent simplicity of the physical processes involved the media exhibit a wide range of amazing patterns: from target and spiral waves to travelling localisations and...

This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdańsk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012,...

Over the past decade the field of Human-Computer Interaction has evolved from the study of the usability of interactive products towards a more holistic understanding of how they may mediate desired human experiences. This book identifies the notion of...

Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can be attributed to Michael R. Fellows. This Festschrift has been published in...

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6...