5446 search results - page 549 / 1090 » Mobile computing |
158
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
155
Voted
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Modern computer viruses spread incredibly quickly, far faster than human-mediated responses. This greatly increases the damage that they cause. This paper presents an approach to ...
154
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a new probabilistic feature-based approach to multi-hypothesis global localization and pose tracking. Hypotheses are generated using a constraintbased sea...
180
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
177
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...