| Description |
1 online resource (xii, 261 pages) |
| Series |
Communications in computer and information science ; 336 |
|
Communications in computer and information science ; 336.
|
| Contents |
Software Aspects of Robotic Systems (SARS 2011) -- A Role-Based Language for Collaborative Robot Applications / Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende -- Efficient Localization for Robot Soccer Using Pattern Matching / Thomas Whelan, Sonja Stüdli, John McDonald, Richard H. Middleton -- A NUPlatform for Software on Articulated Mobile Robots / Jason Kulk, James S. Welsh -- Service Component Architectures in Robotics: The SCA-Orocos Integration / Davide Brugali, Luca Gherardi, Markus Klotzbücher, Herman Bruyninckx -- Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments / Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann -- Adaptive Autonomous Systems -- From the System's Architecture to Testing / Franz Wotawa -- Representing Knowledge in Robotic Systems with KnowLang / Emil Vassev, Mike Hinchey -- Object Detection and Classification for Domestic Robots / Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz -- A Software Integration Framework for Cognitive Systems / Michael Zillich, Wolfgang Ponweiser, Markus Vincze -- Special Session on KOROS |
|
KOROS Initiative: Automatized Throwing and Catching for Material Transportation / Martin Pongratz, Klaus Pollhammer, Alexander Szep -- Cognitive Decision Unit Applied to Autonomous Robots / Dietmar Bruckner, Friedrich Gelbard -- Building iRIS: A Robotic Immune System / Dietmar Schreiner -- Towards Reorientation with a Humanoid Robot / Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner -- Machine Learning for System Construction (MLSC 2011) -- Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing / Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu -- A Hierarchical Variability Model for Software Product Lines / Dilian Gurov, Bjarte M. Østvold, Ina Schaefer -- Learning-Based Software Testing: A Tutorial / Karl Meinke, F. Niu, M. Sindhu -- Machine Learning for Automatic Classification of Web Service Interface Descriptions / Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes -- The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning / Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria -- Automata Learning with On-the-Fly Direct Hypothesis Construction / Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria |
| Summary |
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project |
| Notes |
Online resource; title from digital title page (viewed November 16, 2012) |
| Subject |
Robots -- Programming -- Congresses
|
|
Machine learning -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Informatique.
|
|
Computer software -- Verification
|
|
Formal methods (Computer science)
|
|
Machine learning
|
|
Robots -- Programming
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Hähnle, Reiner.
|
|
ISoLA (Symposium) (2011 : Vienna, Austria)
|
| ISBN |
9783642347818 |
|
3642347819 |
|
