Login / Signup
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