AsmL Specification and Verification of Lamport's Bakery Algorithm.
Matko BotincanPublished in: J. Comput. Inf. Technol. (2005)
Keyphrases
- learning algorithm
- recognition algorithm
- theoretical analysis
- single pass
- times faster
- probabilistic model
- preprocessing
- selection algorithm
- dynamic programming
- experimental evaluation
- convex hull
- matching algorithm
- worst case
- detection algorithm
- optimal solution
- neural network
- computational complexity
- improved algorithm
- expectation maximization
- cost function
- significant improvement
- computationally efficient
- particle swarm optimization
- segmentation algorithm
- optimization algorithm
- input data
- motion estimation
- objective function
- support vector
- high level
- np hard
- estimation algorithm