1686 search results - page 165 / 338 » Higher Order Deforestation |
126
click to vote
MICCAI
2002
Springer
16 years 5 months ago
2002
Springer
Voxel-based non-rigid registration algorithms have been successfully applied to a wide range of image types. However, in some cases the registration of quite different images, e.g....
240
Voted
ASPLOS
2009
ACM
16 years 5 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...
154
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
129
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
119
Voted
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we show that several well-known nonlinear surface registration algorithms can be put in an ICP-like framework, and thus boil down to the successive estimation of po...