Sciweavers

6120 search results - page 917 / 1224
» The Power of Linear Functions
Sort
View
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
MICCAI
2007
Springer
16 years 7 months ago
Quality-Based Registration and Reconstruction of Optical Tomography Volumes
Abstract. Ultramicroscopy, a novel optical tomographic imaging modality related to fluorescence microscopy, allows to acquire cross-sectional slices of small specially prepared bio...
Wolfgang Wein, Moritz Blume, Ulrich Leischner, Han...
MICCAI
2003
Springer
16 years 7 months ago
Patient Classification of fMRI Activation Maps
The analysis of brain activations using functional magnetic resonance imaging (fMRI) is an active area of neuropsychological research. Standard techniques for analysis have traditi...
James Ford, Hany Farid, Fillia Makedon, Laura A. F...
MICCAI
2005
Springer
16 years 7 months ago
A Velocity-Dependent Model for Needle Insertion in Soft Tissue
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
Jessica R. Crouch, Chad M. Schneider, Josh Wainer,...
MICCAI
2005
Springer
16 years 7 months ago
2D and 3D Shape Based Segmentation Using Deformable Models
A novel shape based segmentation approach is proposed by modifying the external energy component of a deformable model. The proposed external energy component depends not only on t...
Ayman El-Baz, Seniha Esen Yuksel, Hongjian Shi, Al...