|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers (Paperback, 2012 ed.)
Loot Price: R1,592
Discovery Miles 15 920
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers (Paperback, 2012 ed.)
Series: Communications in Computer and Information Science, 336
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
