Sciweavers

4761 search results - page 300 / 953
» Generalizing Boundary Points
Sort
View
AMC
2011
15 years 19 days ago
Convergence of rank-type equations
Convergence results are presented for rank-type difference equations, whose evolution rule is defined at each step as the kth largest of p univariate difference equations. If t...
Timothy Sauer
165
Voted
ICCV
2003
IEEE
16 years 8 months ago
Voxel Carving for Specular Surfaces
We present an novel algorithm that reconstructs voxels of a general 3D specular surface from multiple images of a calibrated camera. A calibrated scene (i.e. points whose 3D coord...
Thomas Bonfort, Peter F. Sturm
140
Voted
ECCV
2002
Springer
16 years 8 months ago
Revisiting Single-View Shape Tensors: Theory and Applications
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
Anat Levin, Amnon Shashua
180
Voted
ICIP
2007
IEEE
16 years 7 months ago
Faithful Shape Representation for 2D Gaussian Mixtures
It has been recently discovered that a faithful representation for the shape of some simple distributions can be constructed using invariant statistics [1, 2]. In this paper, we c...
Mireille Boutin, Mary I. Comer
CAV
2009
Springer
218views Hardware» more  CAV 2009»
16 years 6 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken