Sciweavers

504 search results - page 76 / 101
» Explaining Verification Conditions
Sort
View
ICCV
2009
IEEE
14 years 11 months ago
The Swap and Expansion Moves Revisited and Fused
Many solutions to computer vision and image processing problems involve the minimization of multi-label energy functions with up to K variables in each term. In the minimization pr...
Ido Leichter
ICCV
2001
IEEE
14 years 10 months ago
Lambertian Reflectance and Linear Subspaces
We prove that the set of all Lambertian reflectance functions (the mapping from surface normals to intensities) obtained with arbitrary distant light sources lies close to a 9D lin...
Ronen Basri, David W. Jacobs
ICCV
2001
IEEE
14 years 10 months ago
Joint Feature Distributions for Image Correspondence
We introduce `Joint Feature Distributions', a general statistical framework for feature based multi-image matching that explicitly models the joint probability distributions ...
Bill Triggs
ICPR
2002
IEEE
14 years 9 months ago
A Theory of the Quasi-Static World
We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequen...
Brandon C. S. Sanders, Randal C. Nelson, Rahul Suk...
ICML
2007
IEEE
14 years 8 months ago
Full regularization path for sparse principal component analysis
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a particular linear combination of the input variables while constraining the numb...
Alexandre d'Aspremont, Francis R. Bach, Laurent El...