A unification algorithm for second-order monadic terms.
William M. FarmerPublished in: Ann. Pure Appl. Log. (1988)
Keyphrases
- objective function
- times faster
- learning algorithm
- dynamic programming
- high accuracy
- computational complexity
- cost function
- experimental evaluation
- detection algorithm
- computational cost
- worst case
- search space
- tree structure
- convergence rate
- linear programming
- selection algorithm
- k means
- improved algorithm
- theorem prover
- convex hull
- heuristic rules
- matching algorithm
- ant colony optimization
- expectation maximization
- higher order
- probabilistic model
- significant improvement
- face recognition