595 search results - page 113 / 119 » Predictive State Representations with State Space Partitioni... |
102
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
As richer models for stereo vision are constructed, there is a growing interest in learning model parameters. To estimate parameters in Markov Random Field (MRF) based stereo formu...
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
104
click to vote
ICCAD
1999
IEEE
15 years 3 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
115
click to vote
SSPR
2004
Springer
15 years 4 months ago
2004
Springer
Classification fusion combines multiple classifications of data into a single classification solution of greater accuracy. Feature extraction aims to reduce the computational cost ...