3820 search results - page 555 / 764 » Bounded Model Debugging |
161
click to vote
CORR
2009
Springer
15 years 25 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
160
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
We address the problem of learning the parameters in graphical models when inference is intractable. A common strategy in this case is to replace the partition function with its B...
170
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
In this work we propose a convex relaxation approach
for computing minimal partitions. Our approach is based
on rewriting the minimal partition problem (also known as
Potts mode...
126
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper we perform 3D face tracking on corrupted video sequences. We use a deformable model, combined with a predictive filter, to recover both the rigid transformations and...
142
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In order to work well, many computer vision algorithms require that their parameters be adjusted according to the image noise level, making it an important quantity to estimate. W...