4325 search results - page 135 / 865 » Incremental computation with names |
195
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We describe a real-time, low-cost system to localize a mobile robot in outdoor environments. Our system relies on stereo vision to robustly estimate frame-to-frame motion in real ...
162
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The morphological top-hat operator for greyscale images is part of the basic toolbox of mathematical morphology operators. We discuss two ways of generalising the tophat operator ...
166
click to vote
SPIN
2009
Springer
16 years 29 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
140
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we present a new fault tolerance system called DejaVu for transparent and automatic checkpointing, migration, and recovery of parallel and distributed applications....
152
click to vote
SOFSEM
2007
Springer
16 years 16 days ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...