394 search results - page 54 / 79 » An Abstract Domain of Uninterpreted Functions |
112
click to vote
PUK
2003
15 years 1 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
97
Voted
TIP
2008
15 years 10 days ago
2008
Abstract--We propose a vector/matrix extension of our denoising algorithm initially developed for grayscale images, in order to efficiently process multichannel (e.g., color) image...
JMM2
2007
15 years 10 days ago
2007
Abstract— In this paper, we present a novel universal approach which consists in exploring statistics in the compressed frequency domain. This approach is motivated by two main c...
118
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper presents a variational level set approach to joint segmentation and bias correction of images with intensity inhomogeneity. Our method is based on an observati...
120
Voted
ICIAP
2005
ACM
16 years 17 days ago
2005
ACM
Abstract. We present a technique that achieves local contrast enhancement by representing it as an optimization problem. For this, we first introduce a scalar objective function th...