Sciweavers

253 search results - page 14 / 51
» Interactive Deformation Using Modal Analysis with Constraint...
Sort
View
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
14 years 1 months ago
Effective Constrained Dynamic Simulation Using Implicit Constraint Enforcement
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...
Min Hong, Min-Hyung Choi, Sunhwa Jung, Samuel W. J...
CAD
2004
Springer
13 years 7 months ago
A shape design system using volumetric implicit PDEs
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
Haixia Du, Hong Qin
CL
1999
Springer
13 years 7 months ago
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
Jimmy Ho-Man Lee, Ho-fung Leung
ACSAC
2005
IEEE
14 years 1 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
ICMCS
2006
IEEE
169views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Synthesis and Control of High Resolution Facial Expressions for Visual Interactions
The synthesis of facial expression with control of intensity and personal styles is important in intelligent and affective human-computer interaction, especially in face-to-face i...
Chan-Su Lee, Ahmed M. Elgammal, Dimitris N. Metaxa...