2940 search results - page 18 / 588 » Relational Parametricity and Control |
79
Voted
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
— A method is presented for non-rigid alignment of a source shape to a target shape through estimating and interpolating point-wise correspondences between their surfaces given a...
134
click to vote
OOPSLA
1995
Springer
15 years 1 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
104
click to vote
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
92
Voted
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
We describe a 2.5D layered representation for visual motion analysis. The representation provides a global interpretation of image motion in terms of several spatially localized fo...
SHAPE
1999
Springer
15 years 1 months ago
1999
Springer
The objective of this work is the automatic detection and grouping of imaged elements which repeat in a scene. We show that structures that repeat in the world (for example wall p...