Trace-based Derivation of a Lock-Free Queue Algorithm.
Lindsay GrovesPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- learning algorithm
- experimental evaluation
- theoretical analysis
- recognition algorithm
- times faster
- dynamic programming
- computational cost
- improved algorithm
- convergence rate
- preprocessing
- search space
- path planning
- matching algorithm
- estimation algorithm
- memory requirements
- data sets
- detection algorithm
- optimization algorithm
- single pass
- high accuracy
- np hard
- cost function
- k means
- optimal solution
- segmentation algorithm
- expectation maximization
- ant colony optimization
- classification algorithm
- probabilistic model
- computational complexity
- data structure
- selection algorithm
- image sequences
- image segmentation