945 search results - page 30 / 189 » Evolving Symbolic Controllers |
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we aim to design decision-making mechanisms for an autonomous robot equipped with simple sensors, which integrates over time its perceptual experience in order to in...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
MMM
2007
Springer
15 years 4 months ago
2007
Springer
This paper proposes an approach for retrieving videos based on object trajectories and subtrajectories. First, trajectories are segmented into subtrajectories according to the char...
MEMOCODE
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Legged robots show promise for complex mobility tasks, such as navigating rough terrain, but the design of their control software is both challenging and laborious. Traditional...