1982 search results - page 30 / 397 » Parametricity and dependent types |
OOGRAPHICS
1994
15 years 1 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
In this paper, a generic bi-directional framework is proposed for parametric image alignment, that extends the classification of [1]. Four main categories (Forward, Inverse, Depend...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
When objects are recognized by using multiple cameras, recognition rates strongly depend on the camera arrangement. In this paper, we propose a new method for planning a multiple ...
WCET
2008
14 years 11 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
PLPV
2009
ACM
15 years 6 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera