2200 search results - page 208 / 440 » The Generalized Pignistic Transformation |
92
Voted
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
112
Voted
IPSN
2010
Springer
15 years 7 months ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
93
Voted
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper deals with the optimization of a new technique of image compression. After the wavelet transform of an image, blocks of coefficients are further linearly decomposed us...
112
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
105
Voted
ICDT
2007
ACM
15 years 7 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....