A Feasible Algorithm for Typing in Elementary Affine Logic.
Patrick BaillotKazushige TeruiPublished in: TLCA (2005)
Keyphrases
- detection algorithm
- optimization algorithm
- theoretical analysis
- learning algorithm
- objective function
- matching algorithm
- k means
- computational cost
- improved algorithm
- expectation maximization
- input data
- preprocessing
- genetic algorithm
- dynamic programming
- experimental evaluation
- worst case
- high accuracy
- mathematical model
- simulated annealing
- cost function
- particle swarm optimization
- video sequences
- significant improvement
- data structure
- search algorithm
- segmentation algorithm
- computational complexity
- markov random field
- data sets
- np hard