Sciweavers

8512 search results - page 142 / 1703
» Computing Theory With Relevance
Sort
View
126
Voted
CVPR
2012
IEEE
13 years 5 months ago
A theory of multi-layer flat refractive geometry
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...
Amit Agrawal, Srikumar Ramalingam, Yuichi Taguchi,...

Lecture Notes
841views
17 years 1 months ago
General Equilibrium Theory
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
Nicholas C. Yannelis
202
Voted
ECCV
2004
Springer
16 years 4 months ago
High Accuracy Optical Flow Estimation Based on a Theory for Warping
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...
Thomas Brox, Andrés Bruhn, Nils Papenberg, ...
FSTTCS
2009
Springer
15 years 9 months ago
Using Elimination Theory to construct Rigid Matrices
The rigidity of a matrix A for target rank r is the minimum number of entries of A that
Kumar Abhinav, Satyanarayana V. Lokam, Vijay M. Pa...
90
Voted
LICS
2006
IEEE
15 years 8 months ago
A Proof of Strong Normalisation using Domain Theory
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
Thierry Coquand, Arnaud Spiwack