Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Lee masMultiple 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lee mas
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 ...
Lee mas
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, ...
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 masQuantization on Nilpotent Lie Groups
This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
