8512 search results - page 142 / 1703 » Computing Theory With Relevance |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
Lecture Notes
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see