Formalization of a Polymorphic Subtyping Algorithm.
Jinxu ZhaoBruno C. d. S. OliveiraTom SchrijversPublished in: ITP (2018)
Keyphrases
- learning algorithm
- experimental evaluation
- computational cost
- dynamic programming
- improved algorithm
- detection algorithm
- computational complexity
- preprocessing
- high accuracy
- optimization algorithm
- theoretical analysis
- experimental study
- np hard
- times faster
- selection algorithm
- convex hull
- convergence rate
- neural network
- estimation algorithm
- segmentation algorithm
- expectation maximization
- cost function
- k means
- search space
- computationally efficient
- tree structure
- recognition algorithm
- optimal solution
- objective function
- similarity measure