15 search results - page 3 / 3 » Simplification and Abstraction of Kinematic Behaviors |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
55
Voted
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— This paper describes the design of a robot head, developed in the framework of the RobotCub project. This project goals consists on the design and construction of a hum...
SIAMAM
2010
14 years 8 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...