Correctness and concurrent complexity of the Black-White Bakery Algorithm.
Wim H. HesselinkPublished in: Formal Aspects Comput. (2016)
Keyphrases
- computational complexity
- detection algorithm
- worst case
- learning algorithm
- computational cost
- experimental evaluation
- recognition algorithm
- k means
- linear complexity
- memory requirements
- times faster
- cost function
- np hard
- dynamic programming
- optimal solution
- optimization algorithm
- neural network
- space complexity
- reinforcement learning
- tree structure
- theoretical analysis
- high accuracy
- significant improvement
- expectation maximization
- lower bound
- state space
- preprocessing
- probabilistic model
- classification algorithm
- matching algorithm
- search space
- evolutionary algorithm
- similarity measure
- improved algorithm
- complexity analysis
- high computational complexity
- multi objective