2940 search results - page 82 / 588 » Relational Parametricity and Control |
91
Voted
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
Standard but ad hoc measures such as sum-of-squared pixel differences (SSD) are often used when comparing and registering two images that have not been previously observed before....
80
Voted
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
The Fourier phase spectrum of an image is well known to contain crucial information about the image geometry, in particular its contours. In this paper, we show that it is also st...
107
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...