Sciweavers

3025 search results - page 144 / 605
» A User-Centered Location Model
Sort
View
ICANN
2005
Springer
15 years 9 months ago
Modelling Path Integrator Recalibration Using Hippocampal Place Cells
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...
Thomas Strösslin, Ricardo Chavarriaga, Denis ...
TACAS
2005
Springer
112views Algorithms» more  TACAS 2005»
15 years 9 months ago
Truly On-the-Fly LTL Model Checking
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
Moritz Hammer, Alexander Knapp, Stephan Merz
WACV
2002
IEEE
15 years 8 months ago
Eye Typing using Markov and Active Appearance Models
We propose a non-intrusive eye tracking system intended for the use of everyday gaze typing using web cameras. We argue that high precision in gaze tracking is not needed for on-s...
Dan Witzner Hansen, John Paulin Hansen, Mads Niels...
MATA
2001
Springer
15 years 8 months ago
The Spider Model of Agents
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
F. Y. Huang, David B. Skillicorn
ISER
2000
Springer
80views Robotics» more  ISER 2000»
15 years 7 months ago
Robot Navigation for Automatic Model Construction Using Safe Regions
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
Héctor H. González-Baños, Jea...