A Higher-Order Calculus for Graph Transformation.

Maribel Fernández Ian Mackie Jorge Sousa Pinto

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

graph transformation
higher order
lambda calculus
natural images
pairwise
markov random field
conditional random fields
high order
markov models
low order
computer algebra
learning algorithm
data mining
formal language
automated deduction
algebraic structure
provably correct
hidden markov models