A unification algorithm for Coq featuring universe polymorphism and overloading.
Beta ZilianiMatthieu SozeauPublished in: ICFP (2015)
Keyphrases
- detection algorithm
- preprocessing
- computational cost
- learning algorithm
- matching algorithm
- k means
- improved algorithm
- cost function
- computational complexity
- estimation algorithm
- times faster
- optimization algorithm
- higher order
- simulated annealing
- experimental study
- worst case
- objective function
- experimental evaluation
- dynamic programming
- search space
- theoretical analysis
- feature selection
- clustering method
- data sets
- optimal solution
- convergence rate
- support vector