A modular order-sorted equational generalization algorithm.
María AlpuenteSantiago EscobarJavier EspertJosé MeseguerPublished in: Inf. Comput. (2014)
Keyphrases
- learning algorithm
- optimization algorithm
- times faster
- high accuracy
- dynamic programming
- preprocessing
- cost function
- optimal solution
- np hard
- computational complexity
- experimental evaluation
- computational cost
- worst case
- search space
- convergence rate
- segmentation algorithm
- recognition algorithm
- matching algorithm
- clustering method
- linear programming
- keywords
- similarity measure