Order-sorted Algebraic Specifications with Higher-order Functions.

Anne Elisabeth Haxthausen

Published in: AMAST (1995)

Keyphrases

higher order
order sorted
predicate logic
natural images
high order
pairwise
text mining
markov random field
formal specification
data sets
image segmentation
hidden markov models
lower order