Mechanical synthesis of a unification algorithm in PowerEpsilon.
Ming-Yuan ZhuXiao-Bai MoPublished in: COMPSAC (1995)
Keyphrases
- experimental evaluation
- learning algorithm
- np hard
- improved algorithm
- computational cost
- recognition algorithm
- times faster
- segmentation algorithm
- probabilistic model
- cost function
- selection algorithm
- preprocessing
- optimal solution
- similarity measure
- significant improvement
- computational complexity
- path planning
- hardware implementation
- convex hull
- high accuracy
- expectation maximization
- optimization algorithm
- clustering method
- experimental study
- matching algorithm
- memory requirements
- estimation algorithm
- neural network
- higher order
- dynamic programming
- search space
- artificial neural networks
- image sequences
- image processing
- genetic algorithm