3073 search results - page 403 / 615 » Real World Verification |
140
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
158
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
– In this paper, we proposed an improved algorithm for the multi-robot complete coverage problem. Real world applications such as lawn mowing, chemical spill clean-up, and humani...
149
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
173
click to vote
ICTAI
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
167
click to vote
ICWMC
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— Ubiquitous computing refers to making many computing devices available throughout the physical environment, while making them effectively invisible to the user. To furt...