5372 search results - page 893 / 1075 » complexity 2007 |
204
click to vote
IJCV
2007
15 years 4 months ago
2007
Abstract. In this work we present a novel system for autonomous mobile robot navigation. With only an omnidirectional camera as sensor, this system is able to build automatically a...
135
click to vote
IJCSA
2007
15 years 4 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
139
click to vote
ALGORITHMICA
2008
15 years 4 months ago
2008
Hash tables on external memory are commonly used for indexing in database management systems. In this paper we present an algorithm that, in an asymptotic sense, achieves the best...
140
Voted
MIS
2007
Springer
15 years 4 months ago
2007
Springer
Mobility models, synthetic or trace, try to accurately model the movement of a single user or a group of users. Models are used in simulators and emulators to investigate the cons...
145
click to vote
MST
2007
15 years 4 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...