First-order differential inclusions with nonlocal initial condition.

Abdelkader Boucherif

Published in: Appl. Math. Lett. (2002)

Keyphrases

first order logic
higher order
image denoising
denoising
prior model
stochastic dominance
term rewriting
computer vision
database systems
multiscale
horn clauses
quantifier elimination