Sciweavers

1534 search results - page 219 / 307
» Error Reporting Logic
Sort
View
ICFEM
2009
Springer
13 years 7 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
CVPR
2007
IEEE
15 years 19 hour ago
Feasibility Boundary in Dense and Semi-Dense Stereo Matching
In stereo literature, there is no standard method for evaluating algorithms for semi-dense stereo matching. Moreover, existing evaluations for dense methods require a fixed parame...
Jan Cech, Jana Kostlivá, Radim Sára
CVPR
2008
IEEE
15 years 19 hour ago
Sparse probabilistic regression for activity-independent human pose inference
Discriminative approaches to human pose inference involve mapping visual observations to articulated body configurations. Current probabilistic approaches to learn this mapping ha...
Raquel Urtasun, Trevor Darrell
ECCV
1998
Springer
14 years 12 months ago
The Role of Total Least Squares in Motion Analysis
Abstract. The main goal of this paper is to put well-established techniques for two-view motion analysis in the context of the theory of Total Least Squares and to make clear that ...
Matthias Mühlich, Rudolf Mester
ICML
2007
IEEE
14 years 10 months ago
Information-theoretic metric learning
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...
Jason V. Davis, Brian Kulis, Prateek Jain, Suvrit ...