Sciweavers

5608 search results - page 104 / 1122
» On the Theory of Matchgate Computations
Sort
View
ECCV
2004
Springer
16 years 3 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 8 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...
LICS
2006
IEEE
15 years 7 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
CORR
2007
Springer
124views Education» more  CORR 2007»
15 years 1 months ago
Interpolation in Valiant's theory
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
Pascal Koiran, Sylvain Perifel
CVPR
2006
IEEE
16 years 3 months ago
Control Theory and Fast Marching Techniques for Brain Connectivity Mapping
We propose a novel, fast and robust technique for the computation of anatomical connectivity in the brain. Our approach exploits the information provided by Diffusion Tensor Magne...
Emmanuel Prados, Stefano Soatto, Christophe Lengle...