Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee mas
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, ...
Lee mas
Mathematics of Surfaces XI
Constitutes the refereed proceedings of the 11th IMA International Conference on the Mathematics of Surfaces, held in Loughborough, ...
Lee mas
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 ...
Lee mas
Modeling and Using Context
Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, ...
Lee mas
Modeling and Using Context
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Multi-Agent Systems and Applications
The Advanced Course on Artificial Intelligence ACAI 2001 with the subtitle M ulti- Agent Systems and Their Applications , ...
Lee mas
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, ...
Lee mas
Multiple Classifier Systems
Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed ...
Lee mas
Multiple Classifier Systems
Constitutes the refereed proceedings of the 6th International Workshop on Multiple Classifier Systems, MCS 2005. This book ...
Lee mas
Multiple Classifier Systems
These proceedings are a record of the Multiple Classifier Systems Workshop, MCS 2007, held at the Institute of Information ...
Lee mas
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 ...
Lee mas
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
Lee mas
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 ...
Lee mas
Parameterized and Exact Computation
IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including ...
Lee mas
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, ...
Lee mas
Principles of Distributed Systems (vol. # 4305)
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...
Lee mas
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 ...
Lee mas
