A higher-order unification algorithm for inductive types and dependent types.
Qingping TanPublished in: J. Comput. Sci. Technol. (1997)
Keyphrases
- higher order
- learning algorithm
- detection algorithm
- experimental evaluation
- times faster
- computational cost
- high accuracy
- improved algorithm
- dynamic programming
- theoretical analysis
- linear programming
- recognition algorithm
- matching algorithm
- tree structure
- particle swarm optimization
- worst case
- optimal solution
- computational complexity
- preprocessing
- k means
- significant improvement
- estimation algorithm
- search space
- classification algorithm
- clustering method
- optimization algorithm
- segmentation algorithm
- scheduling problem
- computationally efficient
- image registration
- input data
- genetic algorithm