861 search results - page 89 / 173 » Predicting change impact from logical models |
178
click to vote
MVA
2008
15 years 6 months ago
2008
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
157
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
170
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we present a new variational method for multi-view stereovision and non-rigid three-dimensional motion estimation from multiple video sequences. Our method minimize...
167
click to vote
DSN
2006
IEEE
16 years 11 days ago
2006
IEEE
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
146
click to vote
JSAI
2001
Springer
15 years 10 months ago
2001
Springer
In this study we rethought efficient market hypothesis from a viewpoint of complexity of market participants’ prediction methods and market price’s dynamics, and examined the ...