Principle and Practice of Constraint Programming - CP 2006
This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
Continue reading
Principles and Practice of Constraint Programming - CP 2002
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
Continue reading
Principles and Practice of Constraint Programming - CP 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Continue reading
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
Continue reading
Principles and Practice of Constraint Programming – CP 2007
This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...
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
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Continue reading
Progress in Artificial Intelligence
This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...
Continue reading
Receding Horizon Control
Receding Horizon Control introduces the essentials of a successful feedback strategy that has emerged in many industrial ...
Continue reading
Recent Advances in Constraints
This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...
Continue reading
Recent Advances in Constraints (vol. # 3419)
Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Continue reading
Recent Advances in Constraints (vol. # 3978)
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Continue reading
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Continue reading
Research and Development in Intelligent Systems XXIV : Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
Continue reading
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Continue reading
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Continue reading
Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
The book present original research in the field of service oriented computing, from theoretical and foundational results ...
Continue reading
Set-Theoretic Methods in Control
This self-contained monograph describes basic set-theoretic methods for control and provides a discussion of their links ...
Continue reading
Sharing Data, Information and Knowledge : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings
The book are organized in topical sections on data mining and privacy, data integration, stream and event data processing, ...
Continue reading
Stability and Convergence of Mechanical Systems with Unilateral Constraints
Stability of motion is a central theme in the dynamics of mechanical systems. While the stability theory for systems with ...
Continue reading
