Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models.

Hélène Kirchner Peter D. Mosses

Published in: AMAST (1998)

Keyphrases

set theoretic
higher order
gibbs random field
probabilistic model
image recovery
data mining
computer vision
data analysis