Sciweavers

22 search results - page 3 / 5
» Linear precision for parametric patches
Sort
View
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 2 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi
HCI
2007
13 years 9 months ago
Automatic, Body Measurements Based Generation of Individual Avatars Using Highly Adjustable Linear Transformation
In this paper part of the work of the research project ‘IntExMa’ is presented, that aims at the development of an interactive, in-store sales support system focusing on the vir...
Andreas Volz, Rainer Blum, Sascha Häberling, ...
PG
1999
IEEE
13 years 11 months ago
Boundary Determination for Trivariate Solids
The trivariate tensor-product B-spline solid is a direct extension of the B-spline patch and has been shown to be useful in the creation and visualization of free-form geometric s...
Kenneth I. Joy, Mark A. Duchaineau
WSCG
2000
131views more  WSCG 2000»
13 years 8 months ago
Dynamic Animation of N-Dimensional Deformable Objects
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
Yannick Rémion, Jean-Michel Nourrit, Olivie...
ICIP
2009
IEEE
14 years 8 months ago
Affine Alignment Of Compound Objects: A Direct Approach
A direct approach for parametric estimation of 2D affine deformations between compound shapes is proposed. It provides the result as a least-square solution of a linear system of ...