Delay noise pessimism reduction by logic correlations.

Alexey Glebov Sergey Gavrilov R. Soloviev Vladimir Zolotov Murat R. Becer Chanhee Oh Rajendran Panda

Published in: ICCAD (2004)

Keyphrases

random noise
noisy data
noise reduction
noise level
proof theory
logic programming
additive noise
multi valued
noise model
image structure
modal logic
signal to noise ratio
image processing
image noise
automated reasoning
noisy environments
image denoising
predicate logic
critical path
rough sets