A Complete Type Inference Algorithm for Simple Intersection Types.
Mario CoppoPaola GianniniPublished in: CAAP (1992)
Keyphrases
- optimization algorithm
- improved algorithm
- times faster
- detection algorithm
- computationally efficient
- computational cost
- experimental evaluation
- cost function
- search space
- preprocessing
- learning algorithm
- np hard
- dynamic programming
- data sets
- selection algorithm
- convergence rate
- matching algorithm
- theoretical analysis
- objective function
- similarity measure
- computational complexity
- image segmentation
- clustering method
- segmentation algorithm
- k means
- high accuracy
- worst case
- input image
- multi objective