Sciweavers

2373 search results - page 203 / 475
» Modelling Facial Behaviours
Sort
View
FUIN
2007
84views more  FUIN 2007»
15 years 6 months ago
Observation Based System Security
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
Damas P. Gruska
ICCV
2001
IEEE
16 years 8 months ago
Cloning Your Own Face with a Desktop Camera
: We have developed an easy and cost-effective system that constructs textured 3D animated face models from videos with minimal user interaction. Our system first takes, with an or...
Zhengyou Zhang, Zicheng Liu, Dennis Adler, Michael...
CGI
2000
IEEE
15 years 10 months ago
Simulated Patient for Orthognathic Surgery
Orthognathic surgery corrects a wide range of minor and major facial and jaw irregularities. This surgery will improve the patients’ ability to chew, speak and breathe. In many ...
Horace Ho-Shing Ip, Christy S. B. Kot, James Xia
ASWEC
2009
IEEE
16 years 1 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
FM
2009
Springer
106views Formal Methods» more  FM 2009»
16 years 25 days ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis