4340 search results - page 588 / 868 » Formal Methods and Cryptography |
179
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
195
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
144
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
157
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
160
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we address the problem of image sequence segmentation with dynamical shape priors. While existing formulations are typically based on hard decisions, we propose a fo...