Unification and polymorphism in region inference.

Mads Tofte Lars Birkedal

Published in: Proof, Language, and Interaction (2000)

Keyphrases

input image
higher order
data sets
grey level
theorem proving
image regions
region of interest
probabilistic inference
knuth bendix
grammatical inference
inference process
homogeneous regions
bayesian inference
bayesian networks
image segmentation
decision trees
image processing
information retrieval
databases