2451 search results - page 96 / 491 » The Octagon Abstract Domain |
156
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
179
click to vote
ICIDS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
145
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...
138
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
153
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...