2200 search results - page 83 / 440 » The Generalized Pignistic Transformation |
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
CSMR
2006
IEEE
14 years 3 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
CF
2006
ACM
14 years 3 months ago
2006
ACM
The discrete wavelet transform (DWT) is used in several image and video compression standards, in particular JPEG2000. A 2D DWT consists of horizontal filtering along the rows fo...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Over the past several decades, the compiler research community has developed a number of sophisticated and powerful algorithms for a varierty of code improvements. While there are...