Partial Higher-Order Specifications.

Egidio Astesiano Maura Cerioli

Published in: MFCS (1991)

Keyphrases

higher order
natural images
high order
pairwise
low order
markov random field
lower order
real time
conditional random fields
relational databases
high level
image segmentation
case study
decision trees
formal specification
markov models
neural network
formal language
databases