Higher-Order Dynamic Pattern Unification for Dependent Types and Records.
Andreas AbelBrigitte PientkaPublished in: TLCA (2011)
Keyphrases
- higher order
- dynamic environments
- natural images
- database
- information retrieval
- statistical databases
- pattern discovery
- pattern matching
- markov random field
- low order
- dynamically changing
- associative memory
- high order
- probabilistic model
- artificial neural networks
- multi agent systems
- multiscale
- web pages
- genetic algorithm
- databases