Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation.
Lai-Xiang ShanJun QinMingshi ChenZheng QinPublished in: J. Appl. Math. (2015)
Keyphrases
- computationally efficient
- k means
- dynamic programming
- preprocessing
- cost function
- learning algorithm
- improved algorithm
- experimental evaluation
- data structure
- high accuracy
- optimization algorithm
- times faster
- np hard
- search space
- worst case
- recognition algorithm
- estimation algorithm
- single pass
- detection algorithm
- clustering method
- experimental study
- tree structure
- matching algorithm
- neural network