2049 search results - page 144 / 410 » Normalization and Partial Evaluation |
105
Voted
ICPR
2008
IEEE
16 years 4 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...
114
click to vote
ICPR
2004
IEEE
16 years 4 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...
99
Voted
TPHOL
2007
IEEE
15 years 9 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...
124
click to vote
VTC
2007
IEEE
15 years 9 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...
113
click to vote
CSB
2005
IEEE
15 years 8 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 ...