On Dart-Zobel Algorithm for Testing Regular Type Inclusion
Lunjin LuJohn G. ClearyPublished in: CoRR (1998)
Keyphrases
- experimental evaluation
- convergence rate
- matching algorithm
- computational complexity
- dynamic programming
- selection algorithm
- k means
- optimization algorithm
- np hard
- detection algorithm
- high accuracy
- computationally efficient
- theoretical analysis
- neural network
- times faster
- improved algorithm
- single pass
- significant improvement
- search space
- preprocessing
- learning algorithm
- worst case
- simulated annealing
- image compression
- probabilistic model
- computational cost
- test cases
- training set
- video sequences
- objective function
- data sets