Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Continue reading
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Continue reading
Mathematics of Surfaces XI
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Continue reading
Modeling and Retrieval of Context
Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
Continue reading
Modeling and Using Context
Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, ...
Continue reading
Modeling and Using Context
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
Continue reading
Modelling, Analysis and Optimization of Biosystems
Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. ...
Continue reading
Modular Algorithms in Symbolic Summation and Symbolic Integration
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...
Continue reading
Multi-Agent Systems and Applications
The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , ...
Continue reading
Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
Continue reading
Multiple Classifier Systems
Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed ...
Continue reading
Multiple Classifier Systems
Constitutes the refereed proceedings of the 6th International Workshop on Multiple Classifier Systems, MCS 2005. This book ...
Continue reading
Multiple Classifier Systems
These proceedings are a record of the Multiple Classifier Systems Workshop, MCS 2007, held at the Institute of Information ...
Continue reading
On the path to AI Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ...
Continue reading
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
Continue reading
Parallel Problem Solving from Nature - PPSN IX
We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...
Continue reading
Parameterized and Exact Computation
IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including ...
Continue reading
Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...
Continue reading
Principles of Distributed Systems (vol. # 4305)
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...
Continue reading
Probabilistic Inductive Logic Programming : Theory and Applications
One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question ...
Continue reading
