Algebraic Specifications, Higher-order Types and Set-theoretic Models.

Hélène Kirchner Peter D. Mosses

Published in: J. Log. Comput. (2001)

Keyphrases

set theoretic
higher order
gibbs random field
image recovery
probabilistic model
machine learning
image processing
markov random field
natural images