Reasoning, Action and Interaction in AI Theories and Systems
The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, ...
اقرأ المزيد
Recent Advances in Constraints
This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...
اقرأ المزيد
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, ...
اقرأ المزيد
Recent Advances in Evolutionary Computation for Combinatorial Optimization
The application of metaheuristics to combinatorial optimisation is an active field in which new theoretical developments, ...
اقرأ المزيد
Recent Advances in Formal Languages and Applications
This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications
This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
اقرأ المزيد
Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
اقرأ المزيد
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
اقرأ المزيد
Remote Sensing of Aquatic Coastal Ecosystem Processes
The aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom ...
اقرأ المزيد
Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
اقرأ المزيد
Research in Computational Molecular Biology (vol. # 3909)
PrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
اقرأ المزيد
Research in Computational Molecular Biology : 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
اقرأ المزيد
Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
اقرأ المزيد
Resource Allocation In Multiuser Multicarrier Wireless Systems
This book proposes a unified algorithmic framework based on dual optimization techniques that have complexities that are ...
اقرأ المزيد
Resource Allocation in Wireless Networks
The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
اقرأ المزيد
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...
اقرأ المزيد
Rule-Based Evolutionary Online Learning Systems
This book offers a comprehensive introduction to learning classifier systems (LCS) – or more generally, rule-based evolutionary ...
اقرأ المزيد
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
اقرأ المزيد
SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
اقرأ المزيد
SOFSEM 2006: Theory and Practice of Computer Science
This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
اقرأ المزيد
