7049 search results - page 138 / 1410 » Data Abstraction for CSP-OZ |
MICCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A method fully utilizing multiscale line filter responses is presented to estimate the point spread function (PSF) of a CT scanner and diameters of small tubular structur...
PODS
2004
ACM
15 years 10 months ago
2004
ACM
d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract - This paper describes an efficient graphbased method to optimize data-flow expressions for best hardware implementation. The method is based on factorization, common su...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
WSOM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a new methodology for missing value imputation in a database. The methodology combines the outputs of several Self-Organizing Maps in order to obtain ...