396 search results - page 16 / 80 » Generalizing Parametricity Using Information-flow |
ICCV
2007
IEEE
14 years 11 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...
TLDI
2010
ACM
14 years 6 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...
CAGD
2004
13 years 9 months 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...
AMAST
1997
Springer
14 years 1 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...
CA
2003
IEEE
14 years 2 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...