A formalisation of the Cocke-Younger-Kasami algorithm.
Maksym BortinPublished in: Arch. Formal Proofs (2016)
Keyphrases
- detection algorithm
- learning algorithm
- experimental evaluation
- improved algorithm
- matching algorithm
- computational complexity
- times faster
- np hard
- computationally efficient
- high accuracy
- single pass
- tree structure
- optimization algorithm
- significant improvement
- computational cost
- input data
- objective function
- optimal solution
- k means
- dynamic programming
- theoretical analysis
- worst case
- experimental study
- classification algorithm
- state space
- path planning
- convergence rate
- selection algorithm
- hardware implementation
- simulated annealing