880 search results - page 102 / 176 » The SLAM problem: a survey |
193
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
154
click to vote
GEOS
2005
Springer
15 years 12 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
145
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
We discuss online strategies for visibility-based searching for an object hidden behind a corner, using Kurt3D, a real autonomous mobile robot. This task is closely related to a n...
180
click to vote
ALGOSENSORS
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of gathering data from a wireless multi-hop network of energy-constrained sensor nodes to a common base station. Specifically, we aim to balance the total...
151
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...