2638 search results - page 362 / 528 » A Framework for Automatic Debugging |
180
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We describe a framework for the automatic synthesis of biped locomotion controllers that adapt to uneven terrain at run-time. The framework consists of two components: a per-foots...
196
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
Human motion can be understood on many levels. The most basic level is the notion that humans are collections of things that have predictable visual appearance. Next is the notion...
189
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of how to design large decentralized multiagent systems (MAS’s) in an automated fashion, with little or no hand-tuning. Our approach has each agent run a...
184
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
160
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...