13917 search results - page 2530 / 2784 » Abstraction of Probabilistic Systems |
167
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
163
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
The use of unmanned autonomous vehicles is becoming more and more significant in recent years. The fact that the vehicles are unmanned (whether autonomous or not), can lead to gre...
224
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Navigating through unknown outdoor environments requires a robot to be able to see and model the far field terrain. In recent years this problem of seeing beyond relia...
190
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
210
click to vote
KES
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In the last years new scientific knowledge and technological developments derived from the Human Genome Project have been affecting the way in which biomedical research a...