A symmetric attractor-decomposition lifting algorithm for parity games.
Marcin JurdzinskiRémi MorvanPierre OhlmannK. S. ThejaswiniPublished in: CoRR (2020)
Keyphrases
- significant improvement
- preprocessing
- k means
- optimization algorithm
- learning algorithm
- np hard
- dynamic programming
- experimental evaluation
- computational cost
- image sequences
- error correction
- improved algorithm
- matching algorithm
- monte carlo
- cellular automata
- theoretical analysis
- cost function
- computational complexity
- optimal solution
- objective function
- high accuracy
- expectation maximization
- multi objective
- detection algorithm
- clustering method
- ant colony optimization
- similarity measure
- feature extraction
- wavelet packet
- decomposition method