Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
Continue reading
Parallel Problem Solving from Nature - PPSN IX
We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...
Continue reading
RoboCup 2006: Robot Soccer World Cup X
This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
Continue reading
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Continue reading
S-BPM in the Production Industry
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
Continue reading
Self-Managed Networks, Systems, and Services
This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
Continue reading
Self-Organizing Systems
This book constitutes the refereed proceedings of the First International Workshop on Self-Organizing Systems, IWSOS 2006. ...
Continue reading
Self-Organizing Systems
The 17 revised full papers and five revised short papers presented together with two invited talks were carefully selected ...
Continue reading
Self-Stabilizing Systems
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
Continue reading
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Continue reading
Software Engineering and Middleware
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Continue reading
Stabilization, Safety, and Security of Distributed Systems
This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
Continue reading
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Continue reading
Symbiotic Interaction
The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...
Continue reading
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Continue reading
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Continue reading
Unconventional Programming Paradigms
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
Continue reading
Unifying Themes in Complex Systems, Vol. IIIB: New Research
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Continue reading
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Continue reading
