396 search results - page 16 / 80 » Generalizing Parametricity Using Information-flow |
114
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...
118
Voted
TLDI
2010
ACM
15 years 9 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...
77
Voted
CAGD
2004
15 years 13 days ago
2004
A scheme is proposed based on an extension of Analytic Geometry to represent a composite curve either with a single equation or with two equations in the case of parametric repres...
90
Voted
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
113
Voted
CA
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents an efficient method of learning motion control for autonomous animated characters. The method uses a non parametric learning approach which identifies non line...