An assertion graph based abstraction algorithm in GSTE and Its application.
Desheng ZhengXiaoyu LiGuowu YangHai WangLulu TianPublished in: Integr. (2018)
Keyphrases
- computational complexity
- dynamic programming
- learning algorithm
- experimental evaluation
- improved algorithm
- times faster
- clustering method
- optimization algorithm
- computational cost
- np hard
- cost function
- worst case
- expectation maximization
- search space
- preprocessing
- high accuracy
- theoretical analysis
- ant colony optimization
- machine learning
- k means
- recognition algorithm
- convex hull
- genetic algorithm
- decision trees
- similarity measure
- computationally efficient
- particle swarm optimization
- neural network
- pairwise