3991 search results - page 250 / 799 » Bounding homogeneous models |
146
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
195
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
176
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We introduce an exemplar model that can learn and generate a region of interest around class instances in a training set, given only a set of images containing the visual class. T...
193
Voted
ACCV
2007
Springer
16 years 28 days ago
2007
Springer
We consider the problem of monocular 3d body pose tracking from video sequences. This task is inherently ambiguous. We propose to learn a generative model of the relationship of bo...
177
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
We propose a new semi-supervised model selection method that is derived by applying the structural risk minimization principle to a recent semi-supervised generalization error bou...