Sciweavers

156 search results - page 13 / 32
» Modeling Biology using Generic Reactive Animation
Sort
View
ASM
2010
ASM
14 years 1 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
AB
2007
Springer
14 years 4 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
ICIP
2001
IEEE
14 years 11 months ago
Face modeling for recognition
3D Human face models have been widely used in applications such as face recognition, facial expression recognition, human action recognition, head tracking, facial animation, vide...
Rein-Lien Hsu, Anil K. Jain
LSGRID
2004
Springer
14 years 3 months ago
Distributed Cell Biology Simulations with E-Cell System
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
Masahiro Sugimoto, Kouichi Takahashi, Tomoya Kitay...
VR
1999
IEEE
189views Virtual Reality» more  VR 1999»
14 years 2 months ago
Cloning and Aging in a VR Family
Face cloning and animation considering wrinkle formation and aging are an aspiring goal and a challenging task. This paper describes a cloning method and an aging simulation in a ...
Won-Sook Lee, Yin Wu, Nadia Magnenat-Thalmann