12981 search results - page 2104 / 2597 » Model Checking (Abstract) |
190
click to vote
EUROMED
2010
15 years 5 months ago
2010
Abstract. CARARE is a best practice network funded by the European Commission’s ICT Policy Support Programme. The network brings together heritage agencies, organisations, archae...
209
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Reinforcement learning algorithms have been successfully applied in robotics to learn how to solve tasks based on reward signals obtained during task execution. These r...
219
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
175
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
200
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...