Sciweavers

1149 search results - page 162 / 230
» What Are Iteration Theories
Sort
View
CVPR
2003
IEEE
14 years 10 months ago
Direct 3D-Rotation Estimation from Spherical Images via a Generalized Shift Theorem
Omnidirectional images arising from 3D-motion of a camera contain persistent structures over a large variation of motions because of their large field of view. This persistence ma...
Ameesh Makadia, Kostas Daniilidis
ECCV
1998
Springer
14 years 10 months ago
The Role of Total Least Squares in Motion Analysis
Abstract. The main goal of this paper is to put well-established techniques for two-view motion analysis in the context of the theory of Total Least Squares and to make clear that ...
Matthias Mühlich, Rudolf Mester
ICFP
2009
ACM
14 years 9 months ago
Biorthogonality, step-indexing and compiler correctness
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
Nick Benton, Chung-Kil Hur
STOC
2009
ACM
155views Algorithms» more  STOC 2009»
14 years 9 months ago
A nearly optimal oracle for avoiding failed vertices and edges
We present an improved oracle for the distance sensitivity problem. The goal is to preprocess a directed graph G = (V, E) with non-negative edge weights to answer queries of the f...
Aaron Bernstein, David R. Karger
KDD
2008
ACM
142views Data Mining» more  KDD 2008»
14 years 9 months ago
Weighted graphs and disconnected components: patterns and a generator
The vast majority of earlier work has focused on graphs which are both connected (typically by ignoring all but the giant connected component), and unweighted. Here we study numer...
Mary McGlohon, Leman Akoglu, Christos Faloutsos