1458 search results - page 115 / 292 » Monads for incremental computing |
145
click to vote
ICCV
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper describes a probabilistic syntactic approach to the detection and recognition of temporally extended activities and interactions between multiple agents. A complete sys...
146
click to vote
ICPR
2006
IEEE
16 years 4 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 ...
117
Voted
ICPR
2004
IEEE
16 years 4 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 ...
124
click to vote
SPIN
2009
Springer
15 years 10 months 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...
111
Voted
IPPS
2007
IEEE
15 years 9 months 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....