4099 search results - page 475 / 820 » A Framework for Interactive Proof |
187
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper presents a methodology for the modeling and control of internal forces and moments produced during multi-contact interactions between humanoid robots and the...
163
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
140
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
206
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
141
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— We address the problem of learning terrain traversability properties from visual input, using automatic mechanical supervision collected from sensors onboard an autonomous vehi...