An Algorithm for Unification in Equational Theories.
Alberto MartelliCorrado MoisoGianfranco RossiPublished in: SLP (1986)
Keyphrases
- detection algorithm
- dynamic programming
- np hard
- preprocessing
- cost function
- equational theories
- learning algorithm
- matching algorithm
- computational complexity
- k means
- databases
- computational cost
- expectation maximization
- machine learning
- objective function
- database applications
- particle swarm optimization
- simulated annealing
- probabilistic model
- artificial intelligence
- database systems
- similarity measure
- optimal solution