Order-sorted equational generalization algorithm revisited.
María AlpuenteSantiago EscobarJosé MeseguerJulia SapiñaPublished in: Ann. Math. Artif. Intell. (2022)
Keyphrases
- experimental evaluation
- learning algorithm
- optimization algorithm
- simulated annealing
- dynamic programming
- computational cost
- times faster
- matching algorithm
- detection algorithm
- computational complexity
- optimal solution
- image segmentation
- particle swarm optimization
- objective function
- data mining
- genetic algorithm
- tree structure
- decision trees
- segmentation algorithm
- theoretical analysis
- expectation maximization
- linear programming
- search space
- high accuracy
- co occurrence
- worst case
- neural network
- np hard
- significant improvement
- k means