On Dart-Zobel Algorithm for Testing Regular Type Inclusion.
Lunjin LuPublished in: ACM SIGPLAN Notices (2001)
Keyphrases
- recognition algorithm
- preprocessing
- experimental evaluation
- dynamic programming
- computational complexity
- significant improvement
- selection algorithm
- experimental study
- high accuracy
- computational cost
- single pass
- improved algorithm
- times faster
- detection algorithm
- probabilistic model
- learning algorithm
- cost function
- optimal solution
- hidden markov models
- matching algorithm
- objective function
- theoretical analysis
- expectation maximization
- input data
- worst case
- np hard
- particle swarm optimization
- search algorithm
- optimization algorithm
- search space
- k means
- multiscale
- similarity measure
- genetic algorithm
- machine learning