524 search results - page 84 / 105 » Temporal reachability graphs |
IJFCS
2006
13 years 10 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
JCP
2008
13 years 10 months ago
2008
Fault detection in large-scale systems is conducted by the use of sensors, thus the sensor location influences the performances of fault detection directly. As the scale of systems...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper introduces an algorithm for detecting walking
motion using point trajectories in video sequences. Given
a number of point trajectories, we identify those which are
sp...
ICPR
2010
IEEE
14 years 5 months ago
2010
IEEE
GMM based algorithms have become the de facto standard for background subtraction in video sequences, mainly because of their ability to track multiple background distributions, w...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...