1939 search results - page 94 / 388 » Dynamic Lex Constraints |
141
Voted
ISORC
1998
IEEE
15 years 8 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...
100
Voted
ICRA
2005
IEEE
15 years 9 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...
135
Voted
JPDC
2010
14 years 10 months 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 ...
104
click to vote
ICRA
2007
IEEE
15 years 10 months 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...
126
Voted
LFCS
2007
Springer
15 years 9 months 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...