Sciweavers

6474 search results - page 184 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
IJCAI
2007
15 years 8 months ago
Towards Reasoning about the Past in Neural-symbolic Systems
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
Rafael V. Borges, Luís C. Lamb, Artur S. d'...
CONNECTION
2004
117views more  CONNECTION 2004»
15 years 6 months ago
Structure and function of evolved neuro-controllers for autonomous robots
The Artificial Life approach to Evolutionary Robotics is used as a fundamental framework for the development of a modular neural control of autonomous mobile robots. The applied e...
Martin Hülse, Steffen Wischmann, Frank Pasema...
ICRA
2010
IEEE
113views Robotics» more  ICRA 2010»
15 years 5 months ago
Geometric formation control for autonomous underwater vehicles
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
Huizhen Yang, Fumin Zhang
ECAI
2008
Springer
15 years 8 months ago
Learning to Select Object Recognition Methods for Autonomous Mobile Robots
Selecting which algorithms should be used by a mobile robot computer vision system is a decision that is usually made a priori by the system developer, based on past experience and...
Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon L&oacu...