2091 search results - page 2 / 419 » On Regions and Linear Types |
ICMCS
2006
IEEE
14 years 11 days ago
2006
IEEE
Different denoising schemes show dissimilar types of artifacts. For example, certain transform-based denoising schemes could introduce artifacts in smooth regions while others eli...
ICIP
2003
IEEE
14 years 8 months ago
2003
IEEE
Dueto diffuse nature of lightphotons, Diffuse Optical Tomography (DOT) image reconstruction is a challenging 3D problem with a relatively large number of unknowns and limited meas...
DCC
2004
IEEE
14 years 6 months ago
2004
IEEE
Many technical imaging applications, like coding "images" of digital elevation maps, require extracting regions of compressed images in which the pixel values are within...
ESOP
2004
Springer
13 years 11 months ago
2004
Springer
POPL
2003
ACM
13 years 11 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...