3166 search results - page 116 / 634 » Translation By Structural Correspondences |
112
Voted
IJCV
2007
15 years 20 days ago
2007
We present a novel approach for the estimation of 3D-motion directly from two images using the Radon transform. The feasibility of any camera motion is computed by integrating over...
ICDAR
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we describe a top-down approach to the segmentation and representation of documents containing tabular structures. Examples of these documents are invoices and techn...
86
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
100
Voted
EUROCAST
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
108
click to vote
AISC
2004
Springer
15 years 4 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...