Sciweavers

265 search results - page 45 / 53
» Biased Normalized Cuts
Sort
View
AGP
1995
IEEE
13 years 11 months ago
A Prolog Implementation of Kem
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
Alberto Artosi, Paola Cattabriga, Guido Governator...
CORR
2011
Springer
215views Education» more  CORR 2011»
12 years 11 months ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
CVPR
2007
IEEE
14 years 9 months ago
Influence of numerical conditioning on the accuracy of relative orientation
We study the influence of numerical conditioning on the accuracy of two closed-form solutions to the overconstrained relative orientation problem. We consider the well known eight...
Sinisa Segvic, Gerald Schweighofer, Axel Pinz
ECCV
2006
Springer
14 years 9 months ago
Differential Geometric Consistency Extends Stereo to Curved Surfaces
Abstract. Traditional stereo algorithms implicitly use the frontal parallel plane assumption when exploiting contextual information, since the smoothness prior biases towards const...
Gang Li, Steven W. Zucker
ECCV
1998
Springer
14 years 9 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