A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations
Alexandre BoudetEvelyne ContejeanHervé DeviePublished in: LICS (1990)
Keyphrases
- detection algorithm
- learning algorithm
- experimental evaluation
- preprocessing
- cost function
- theoretical analysis
- recognition algorithm
- dynamic programming
- k means
- significant improvement
- optimization algorithm
- segmentation algorithm
- high accuracy
- data sets
- optimal solution
- computationally efficient
- expectation maximization
- input data
- clustering method
- worst case
- computational cost
- np hard
- linear systems
- gradient projection
- linear programming
- computational complexity
- decision trees
- neural network