3820 search results - page 222 / 764 » Bounded Model Debugging |
119
Voted
PR
2007
15 years 2 months ago
2007
Tuning SVM hyperparameters is an important step in achieving a high-performance learning machine. It is usually done by minimizing an estimate of generalization error based on the...
167
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...
147
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
This paper presents a novel solution for flow-based tracking and 3D reconstruction of deforming objects in monocular image sequences. A non-rigid 3D object undergoing rotation and...
159
Voted
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
134
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...