Theory and Practice of Minimal Modular Higher-Order E-Unification.
Olaf MüllerFranz WeberPublished in: CADE (1994)
Keyphrases
- higher order
- natural images
- high order
- pairwise
- theoretical foundation
- markov random field
- theoretical framework
- formal theory
- low order
- general theory
- machine learning
- lower order
- conditional random fields
- computational model
- programming language
- artificial neural networks
- conceptual framework
- theoretical basis
- multi agent
- image segmentation
- information retrieval
- real world
- modular structure
- anti unification
- theoretical insights
- equational theories