2629 search results - page 184 / 526 » complex 2009 |
92
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— A hexapod designed for wall climbing with a body joint and 3-DOF legs can perform complex maneuvers such as sharp turns, making both interior and exterior transitions between v...
112
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
105
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Optimal motions are usually used as joint reference trajectories for repetitive or complex motions. In the case of soccer robots, the kicking motion is usually a benchm...
119
Voted
IROS
2009
IEEE
15 years 7 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...
110
Voted
ISMVL
2009
IEEE
15 years 7 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...