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