Sciweavers

45 search results - page 5 / 9
» Constraint solving for direct manipulation of features
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 21 days ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
IJCV
2002
140views more  IJCV 2002»
13 years 7 months ago
Orthonormal Vector Sets Regularization with PDE's and Applications
We are interested in regularizing fields of orthonormal vector sets, using constraint-preserving anisotropic diffusion PDE's. Each point of such a field is defined by multiple...
David Tschumperlé, Rachid Deriche
SAC
2003
ACM
14 years 22 days ago
reality: a Scalable Intelligent Travel Planner
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
Marc Torrens, Patrick Hertzog, Loic Samson, Boi Fa...
SIGGRAPH
1999
ACM
13 years 11 months ago
A Hierarchical Approach to Interactive Motion Editing for Human-Like Figures
This paper presents a technique for adapting existing motion of a human-like character to have the desired features that are specified by a set of constraints. This problem can b...
Jehee Lee, Sung Yong Shin
ICCV
2007
IEEE
14 years 1 months ago
Non-Rigid Image Registration using a Hierarchical Partition of Unity Finite Element Method
We use a Hierarchical Partition of Unity Finite Element Method (H-PUFEM) to represent and analyse the non-rigid deformation fields involved in multidimensional image registration...
Shérif Makram-Ebeid, Oudom Somphone