Optimizing optimal reduction: A type inference algorithm for elementary affine logic.
Paolo CoppolaSimone MartiniPublished in: ACM Trans. Comput. Log. (2006)
Keyphrases
- worst case
- dynamic programming
- optimal solution
- matching algorithm
- experimental evaluation
- cost function
- learning algorithm
- computational cost
- search space
- preprocessing
- times faster
- computational complexity
- detection algorithm
- parameter estimation
- selection algorithm
- globally optimal
- inference mechanism
- bayesian networks
- optimization algorithm
- segmentation algorithm
- np hard
- k means
- objective function
- inference process
- reduction method
- optimal parameters
- optimal strategy
- lower bound
- exhaustive search
- affine invariant
- convergence rate
- convex hull
- linear programming
- particle filter
- expectation maximization
- em algorithm