Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Paolo CoppolaSimone MartiniPublished in: CoRR (2003)
Keyphrases
- dynamic programming
- worst case
- optimal solution
- times faster
- experimental evaluation
- detection algorithm
- segmentation algorithm
- significant improvement
- inference mechanism
- computational cost
- probabilistic model
- neural network
- globally optimal
- high accuracy
- np hard
- convex hull
- simulated annealing
- similarity measure
- image registration
- closed form
- em algorithm
- association rules
- lower bound
- decision trees