Sciweavers

3591 search results - page 128 / 719
» Typing linear constraints
Sort
View
TOG
2012
170views Communications» more  TOG 2012»
13 years 13 days ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 10 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
GEO
2000
14 years 11 months ago
Satisfying Interaction Constraints
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
Alex Noort, Rafael Bidarra, Willem F. Bronsvoort
WSCG
2000
110views more  WSCG 2000»
14 years 11 months ago
Using 3D Geometric Constraints in Architectural Design Support Systems
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...
Bert de Vries, A. J. Jessurun, Richard H. M. C. Ke...
IAJIT
2011
14 years 5 months ago
A constraint programming based approach to detect ontology inconsistencies
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
Moussa Benaissa, Yahia Lebbah