Towards a better-behaved unification algorithm for Coq.
Beta ZilianiMatthieu SozeauPublished in: UNIF (2014)
Keyphrases
- optimization algorithm
- experimental evaluation
- computational complexity
- preprocessing
- dynamic programming
- k means
- times faster
- learning algorithm
- improved algorithm
- cost function
- np hard
- tree structure
- expectation maximization
- particle swarm optimization
- convergence rate
- high accuracy
- worst case
- probabilistic model
- significant improvement
- data streams
- selection algorithm
- convex hull
- data sets
- matching algorithm
- single pass
- ant colony optimization
- experimental study
- theoretical analysis
- linear programming
- computational cost
- data structure
- machine learning