12981 search results - page 2207 / 2597 » Model Checking (Abstract) |
152
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
161
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We address the problem of vision-based multiperson tracking in busy pedestrian zones using a stereo rig mounted on a mobile platform. Specifically, we are interested i...
122
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
157
click to vote
IEEECIT
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
132
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...