An Unification Semi-Algorithm for Intersection Type Schemes.
Simona Ronchi Della RoccaPublished in: TAPSOFT, Vol.1 (1987)
Keyphrases
- detection algorithm
- experimental evaluation
- optimal solution
- learning algorithm
- expectation maximization
- optimization algorithm
- dynamic programming
- computational cost
- probabilistic model
- single pass
- similarity measure
- preprocessing
- times faster
- theoretical analysis
- particle swarm optimization
- clustering method
- experimental study
- convergence rate
- improved algorithm
- computationally efficient
- data sets
- k means
- multiscale
- image processing
- high accuracy
- worst case
- classification algorithm
- path planning
- search space
- convex hull
- memory requirements
- neural network