A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns.
Zhibo ChenFrank PfenningPublished in: CoRR (2023)
Keyphrases
- higher order
- high accuracy
- detection algorithm
- objective function
- experimental evaluation
- optimization algorithm
- worst case
- dynamic programming
- search space
- matching algorithm
- preprocessing
- computational complexity
- times faster
- theoretical analysis
- learning algorithm
- np hard
- expectation maximization
- classification algorithm
- recognition algorithm
- convergence rate
- neural network
- segmentation algorithm
- computationally efficient
- particle swarm optimization
- cost function
- image segmentation
- decision making
- data mining