Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types.
Paul ChisholmPublished in: Sci. Comput. Program. (1987)
Keyphrases
- improved algorithm
- cost function
- np hard
- optimal solution
- high accuracy
- experimental evaluation
- dynamic programming
- preprocessing
- lower bound
- detection algorithm
- optimization algorithm
- computationally efficient
- times faster
- k means
- convex hull
- computational cost
- probabilistic model
- simulated annealing
- classification algorithm
- expectation maximization
- computational complexity
- learning algorithm
- matching algorithm
- pattern matching
- estimation algorithm
- clustering method
- theoretical analysis
- particle swarm optimization
- input data
- significant improvement
- search space
- objective function
- image processing