Sciweavers

4767 search results - page 657 / 954
» Structures for Abstract Rewriting
Sort
View
DAC
2008
ACM
16 years 1 months ago
Formal datapath representation and manipulation for implementing DSP transforms
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
Franz Franchetti, James C. Hoe, Markus Püsche...
MICCAI
2007
Springer
16 years 1 months ago
Towards Subject-Specific Models of the Dynamic Heart for Image-Guided Mitral Valve Surgery
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...
Cristian A. Linte, Marcin Wierzbicki, John Moore, ...
MICCAI
2007
Springer
16 years 1 months ago
Real-Time Synthesis of Image Slices in Deformed Tissue from Nominal Volume Images
Abstract. This paper presents a fast image synthesis procedure for elastic volumes under deformation. Given the node displacements of a mesh and the 3D image voxel data of an undef...
Orcun Goksel, Septimiu E. Salcudean
MICCAI
2002
Springer
16 years 1 months ago
Discriminative Analysis for Image-Based Studies
Abstract. In this paper, we present a methodology for performing statistical analysis for image-based studies of differences between populations and describe our experience applyin...
Polina Golland, Bruce Fischl, Mona Spiridon, Nancy...
MICCAI
2003
Springer
16 years 1 months ago
Relative Performance of Geometric Search Algorithms for Interpolating Unstructured Mesh Data
Abstract. Interpolation of field data from unstructured meshes requires the potentially expensive identification of the finite element or volume within which the interpolating poin...
Mahdieh Khoshniat, Gordan R. Stuhne, David A. Stei...