A Certified Algorithm for AC-Unification.
Mauricio Ayala-RincónMaribel FernándezGabriel Ferreira SilvaDaniele Nantes SobrinhoPublished in: FSCD (2022)
Keyphrases
- significant improvement
- detection algorithm
- experimental evaluation
- learning algorithm
- simulated annealing
- cost function
- k means
- np hard
- dynamic programming
- recognition algorithm
- computational cost
- classification algorithm
- matching algorithm
- improved algorithm
- optimization algorithm
- similarity measure
- theoretical analysis
- high accuracy
- worst case
- objective function
- computationally efficient
- expectation maximization
- segmentation algorithm
- clustering method
- search space
- moving objects
- times faster
- lower bound
- space complexity
- single pass