1746 search results - page 167 / 350 » A linear implementation of PACMAN |
155
Voted
ISBI
2004
IEEE
16 years 3 months ago
2004
IEEE
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
109
click to vote
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...
217
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we describe a GPU parallelization of the 3D finite difference computation using CUDA. Data access redundancy is used as the metric to determine the optimal implement...
196
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
145
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...