2932 search results - page 316 / 587 » Higher order mining |
197
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Methods for motion compensated frame rate upconversion exploit motion in order to generate interpolated frames that are temporally located between the available original frames of...
151
click to vote
MICCAI
2002
Springer
16 years 7 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....
281
click to vote
ASPLOS
2009
ACM
16 years 7 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...
195
click to vote
ICFP
2003
ACM
16 years 6 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...
169
click to vote
PADL
2010
Springer
16 years 3 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...