15 search results - page 2 / 3 » Simplification and Abstraction of Kinematic Behaviors |
ROBOCUP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
DIAGRAMS
2006
Springer
15 years 8 hour ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
112
click to vote
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
DMSN
2007
ACM
15 years 2 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...