130 search results - page 23 / 26 » Towards Probabilistic Modelling in Event-B |
ICRA
2009
IEEE
14 years 1 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. To achieve robust color perception under varying light conditions in indoor and outdoor environments, we propose a three-step method consisting of adaptive camera paramet...
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
For a mobile robot to move in a known environment and operate successfully, first it needs to robustly determine its initial position and orientation relative to the map, and then ...
ESORICS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...