The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.
Ole AgesenPublished in: ECOOP (1995)
Keyphrases
- high accuracy
- optimization algorithm
- detection algorithm
- improved algorithm
- np hard
- dynamic programming
- probabilistic model
- optimal solution
- k means
- experimental evaluation
- computational cost
- theoretical analysis
- expectation maximization
- simulated annealing
- matching algorithm
- significant improvement
- preprocessing
- objective function
- learning algorithm
- path planning
- hill climbing
- cartesian product
- computationally efficient
- linear programming
- scheduling problem
- search space
- lower bound
- computational complexity
- similarity measure