6047 search results - page 711 / 1210 » Modeling with Extend |
235
click to vote
TR
2010
15 years 1 months ago
2010
Abstract--The development of accurate health condition prediction approaches has been a key research topic in condition based maintenance (CBM) in recent years. However, current he...
192
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
189
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
We introduce an algorithm that guides the user to tag
faces in the best possible order during a face recognition assisted
tagging scenario. In particular, we extend the active
l...
188
click to vote
CVPR
1996
IEEE
16 years 9 months ago
1996
IEEE
A family of structure from motion algorithms called the factorization method has been recently developed from the orthographic projection model to the afJine camera model [23, i6,...
179
click to vote
CVPR
1998
IEEE
16 years 9 months ago
1998
IEEE
In previous work [14], we modify the hidden Markov model (HMM) framework to incorporate a global parametric variation in the output probabilities of the states of the HMM. Develop...