Evolutionary Swarm Robotics : Evolving Self-Organising Behaviours in Groups of Autonomous Robots
In this book the use of ER techniques for the design of self-organising group behaviours, for both simulated and real robots ...
اقرأ المزيدEvolutionary Synthesis of Pattern Recognition Systems
Evolutionary Synthesis of Pattern Recognition Systems presents novel effective approaches based on evolutionary computational ...
اقرأ المزيد
Experimental Robotics : The 10th International Symposium on Experimental Robotics
The goal of ISER is to provide a forum for research in robotics that focuses on novelty of theoretical contributions validated ...
اقرأ المزيد
Experimental Vibration Analysis for Civil Structures : Testing, Sensing, Monitoring, and Control / Jian Zhang, Zhishen Wu, Mohammad Noori, Yong Li
Covers a wide range of topics in the areas of vibration testing, instrumentation, and analysis of civil engineering and critical ...
اقرأ المزيد
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
اقرأ المزيد
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
اقرأ المزيد
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
اقرأ المزيد
Field and Service Robotics (vol. # 25)
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely ...
اقرأ المزيد
Field and Service Robotics : Results of the 6th International Conference
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th ...
اقرأ المزيد
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيد
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Formal Aspects in Security and Trust (vol. # 173)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيد
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
اقرأ المزيد
Formal Methods and Software Engineering (vol. # 4260)
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
اقرأ المزيد
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيد
Formal Methods for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
اقرأ المزيد
