4507 search results - page 393 / 902 » Generalized Binet dynamics |
149
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
135
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
104
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
We have previously developed a brachiation controller that allows a two degree of freedom robot to swing from handhold to handhold on a horizontal ladder with evenly space rungs a...
162
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
167
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we present an optimal algorithm for solving the simultaneous technology mapping and linear placement problem for tree-structured circuits with the objective of mini...