A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.
Yang ZhaoGianfranco CiardoPublished in: QEST (2012)
Keyphrases
- optimal solution
- experimental evaluation
- improved algorithm
- optimization algorithm
- np hard
- dynamic programming
- computational complexity
- high accuracy
- greedy strategy
- convergence rate
- matching algorithm
- particle swarm optimization
- computational cost
- cost function
- k means
- iterative procedure
- detection algorithm
- mathematical model
- preprocessing
- closed form
- global solution
- solution space
- iterative algorithms
- search procedure
- solution quality
- segmentation algorithm
- times faster
- optimization method
- learning algorithm
- linear programming
- probabilistic model
- objective function
- similarity measure