Sciweavers

251 search results - page 14 / 51
» Retrenchment, Refinement, and Simulation
Sort
View
CVBIA
2005
Springer
14 years 1 months ago
Real-Time Simulation of Deformable Soft Tissue Based on Mass-Spring and Medial Representation
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
Shaoting Zhang, Lixu Gu, Pengfei Huang, Jianfeng X...
DAC
2003
ACM
14 years 8 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
ISBI
2004
IEEE
14 years 8 months ago
Simultaneous Estimation of Kinetic Parameters and the Input Function from DCE-MRI Data: Theory and Simulation
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
Zhu Han, Z. Jane Wang, K. J. Ray Liu, Yue Wang
ICANNGA
2007
Springer
14 years 1 months ago
DNA Based Evolutionary Approach for Microprocessor Design Automation
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
Nagarajan Venkateswaran, Arjun Kumeresh, Harish Ch...
ICML
2009
IEEE
13 years 5 months ago
Multiple indefinite kernel learning with mixed norm regularization
We address the problem of learning classifiers using several kernel functions. On the contrary to many contributions in the field of learning from different sources of information...
Matthieu Kowalski, Marie Szafranski, Liva Ralaivol...