Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.
Jean-Philippe BernardyPatrik JanssonPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- context free parsing
- improved algorithm
- search space
- learning algorithm
- matching algorithm
- preprocessing
- k means
- detection algorithm
- simulated annealing
- high accuracy
- experimental evaluation
- dynamic programming
- convergence rate
- segmentation algorithm
- theoretical analysis
- cost function
- optimal solution
- data sets
- mobile robot
- computational cost
- worst case
- np hard
- multi objective
- special case
- significant improvement
- computational complexity
- noisy data
- feature selection
- neural network