1939 search results - page 94 / 388 » Dynamic Lex Constraints |
170
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
129
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper proposes adapting human jumping dynamics to humanoid robotic structures. Data obtained from human jumping phases and decomposition together with ground reaction forc...
181
click to vote
JPDC
2010
15 years 27 days ago
2010
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the ...
135
click to vote
ICRA
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
153
click to vote
LFCS
2007
Springer
16 years 7 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...