Sciweavers

542 search results - page 102 / 109
» A factorisation model of robotic tasks
Sort
View
CEC
2009
IEEE
14 years 2 months ago
What is situated evolution?
—In this paper we discuss the notion of situated evolution. Our treatment includes positioning situated evolution on the map of evolutionary processes in terms of time- and space...
Martijn C. Schut, Evert Haasdijk, A. E. Eiben
CEC
2008
IEEE
13 years 9 months ago
Towards the evolution of an artificial homeostatic system
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
Renan C. Moioli, Patrícia Amâncio Var...
ECAI
2010
Springer
13 years 8 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
MODELS
2010
Springer
13 years 6 months ago
Embedded Software Development with Projectional Language Workbenches
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
Markus Voelter
CORR
2007
Springer
170views Education» more  CORR 2007»
13 years 7 months ago
Animation of virtual mannequins, robot-like simulation or motion captures
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
Damien Chablat