1653 search results - page 171 / 331 » Directed tree-width examples |
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we propose a new method for the motion planning problem of rigid object dexterous manipulation with a robotic multi-fingered hand, under quasi-static movement a...
133
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
125
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
124
click to vote
DNA
2007
Springer
15 years 8 months ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
136
click to vote
EMMCVPR
2007
Springer
15 years 8 months ago
2007
Springer
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...