2049 search results - page 144 / 410 » Normalization and Partial Evaluation |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We present an algorithm for the segmentation of the liver in 2-D computed tomography slice images. The basis for our algorithm is an implicit active shape model. In order to detec...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper proposes a video-based super-resolution algorithm by high-frequency component compensation. Normalized logarithm distance (NLD) minimization on local shape feature is p...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Ultra-wideband (UWB) communications is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Comparison and integration of expression data derived from diverse microarray platforms is challenging. Factors affecting cross-platform comparison of microarray data include the ...