10707 search results - page 1955 / 2142 » Designing executable abstractions |
192
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We introduce a method for fast and accurate registration of multiple horizontal laser scans obtained by a mobile robot. The method is based on novel representation of t...
150
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
176
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...
159
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
231
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...