Higher order generalization and its application in program verification.

Jianguo Lu John Mylopoulos Masateru Harao Masami Hagiya

Published in: Ann. Math. Artif. Intell. (2000)

Keyphrases

programming language
higher order
anti unification
high level
explanation based generalization
natural images
high order
markov random field
pairwise
conditional random fields
markov models
efficient learning
image processing
multiresolution
real time
expert systems
computer vision
social networks
lower order