133 search results - page 20 / 27 » The intersection of two ruled surfaces |
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
KDD
1998
ACM
13 years 11 months ago
1998
ACM
This paper explores unexpected results that lie at the intersection of two common themes in the KDD community: large datasets and the goal of building compact models. Experiments ...
3DPVT
2004
IEEE
2004
IEEE
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
13 years 11 months ago
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...
CGF
1998
13 years 7 months ago
1998
Thin plate splines are a well known entity of geometric design. They are defined as the minimizer of a variational problem whose differential operators approximate a simple notio...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, a new threshold correction method for document image binarization that is forcused on ruled-line extraction is presented. This method enhances the binary image of a...