Efficient Algorithm for Reachability Checking in Modeling.
Alexander A. LetichevskyOlexander A. LetychevskyiVladimir S. PeschanenkoPublished in: ICTERI (2012)
Keyphrases
- preprocessing
- cost function
- detection algorithm
- single pass
- computationally efficient
- experimental evaluation
- highly efficient
- np hard
- estimation algorithm
- dynamic programming
- computational cost
- optimal solution
- theoretical analysis
- particle swarm optimization
- selection algorithm
- improved algorithm
- recognition algorithm
- memory efficient
- high efficiency
- transitive closure
- learning algorithm
- optimization algorithm
- segmentation algorithm
- simulated annealing
- probabilistic model
- computational complexity
- energy function
- hidden markov models
- significant improvement
- k means
- search space
- objective function
- space requirements
- feature selection