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