Sciweavers

4150 search results - page 593 / 830
» A Practical Approach to Model Extension
Sort
View
AOSD
2009
ACM
15 years 6 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
TCSB
2010
15 years 2 months ago
Biomodel Engineering - From Structure to Behavior
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
Rainer Breitling, Robin Donaldson, David R. Gilber...
CVPR
2006
IEEE
16 years 6 months ago
Vessel Crawlers: 3D Physically-based Deformable Organisms for Vasculature Segmentation and Analysis
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
Chris McIntosh, Ghassan Hamarneh
CVPR
2007
IEEE
16 years 6 months ago
A linear estimation method for 3D pose and facial animation tracking
This paper presents an approach that incorporates Canonical Correlation Analysis (CCA) for monocular 3D face pose and facial animation estimation. The CCA is used to find the depe...
Franck Davoine, José Alonso Ybá&ntil...
MICCAI
2005
Springer
16 years 5 months ago
3D Needle-Tissue Interaction Simulation for Prostate Brachytherapy
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...
Orcun Goksel, S. E. Salcudean, Simon P. DiMaio, Ro...