Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Continue reading
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Continue reading
Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Continue reading
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue reading
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingMultiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
Continue reading
Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 ...
Continue reading
Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 ...
Continue reading
New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized ...
Continue reading
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue reading
PHP Objects, Patterns, and Practice
Backed by a tireless development community, PHP has been a model of language evolution over its 10+ year history. Borne from ...
Continue reading
Parallel Problem Solving from Nature - PPSN X: 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, ...
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 readingQuantization on Nilpotent Lie Groups
This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded ...
Continue reading
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Continue reading
Recent Advances in Reinforcement Learning : 8th European Workshop, EWRL 2008, Villeneuve d’Ascq, France, June 30-July 3, 2008, Revised and Selected Papers
They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Continue reading
Representation Theory and Complex Analysis : Lectures given at the C.I.M.E. Summer School held in Venice, Italy June 10–17, 2004
Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...
Continue reading
Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
Continue reading
Rough Sets and Knowledge Technology : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings
This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Continue reading
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue reading
