000			03901nam a2200505 i 4500
003			OSt
008			121026s2012 gw | s |||| 0|eng d
020			_a9783642347818 _9978-3-642-34781-8
040			_aUCA _cUCA
080			_a681.5
100	1		_aHÃ{u8BAC}e, Reiner.
245	1	0	_aLeveraging Applications of Formal Methods, Verification, and Validation _h[Recurso electrónico] : _bInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / _cedited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.
260			_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012.
490	0	0	_aCommunications in Computer and Information Science
505	0		_aRobot programming -- Languages and compilation techniques -- Real-time and fault tolerance -- Dependability -- Software architectures -- computer vision -- Cognitive robotics -- Multi-robot-coordination -- Simulation -- Bio-inspired algorithms -- Machine learning for anomaly detection -- Model construction in software product lines -- Classification of web service interfaces.
520			_aThis 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.
506			_aRestringido a usuarios de la UCA
538			_aModo de acceso: World Wide Web
650	0	4	_aInteligencia artificial _94772
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aData mining.
650		0	_aInformation storage and retrieval systems.
650		0	_aArtificial intelligence.
650		0	_aOptical pattern recognition.
650		0	_aComputer Science.
650		0	_aArtificial Intelligence (incl. Robotics).
650		0	_aData Mining and Knowledge Discovery.
650		0	_aSoftware Engineering.
650		0	_aComputation by Abstract Devices.
650		0	_aInformation Storage and Retrieval.
650		0	_aPattern Recognition.
700	1		_aKnoop, Jens.
700	1		_aMargaria, Tiziana.
700	1		_aSchreiner, Dietmar.
700	1		_aSteffen, Bernhard.
740	0		_aSpringerLink e-Books (Servicio en línea)
740	0		_aSpringer e-books (Servicio en línea)
740	0		_aCommunications in Computer and Information Science (Servicio en línea)
776	0	8	_iPrinted edition: _z9783642347801
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-34781-8 _zTexto completo
909			_binter _c-
942			_n0
998			_b0 _c130306 _de _ey _f- _g0
999			_c890100 _d890100