Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm.
Ievgen IvanovMykola S. NikitchenkoUri AbrahamPublished in: Formaliz. Math. (2015)
Keyphrases
- learning algorithm
- detection algorithm
- computational cost
- computational complexity
- experimental evaluation
- mutual exclusion
- k means
- preprocessing
- objective function
- cost function
- np hard
- dynamic programming
- expectation maximization
- similarity measure
- long distance
- optimization algorithm
- worst case
- data processing
- optimal solution
- orders of magnitude
- matching algorithm
- convex hull
- recognition algorithm
- theorem prover
- significant improvement
- association rules