Bounded-memory Algorithms for Verification On-the-fly.
Claude JardThierry JéronPublished in: CAV (1991)
Keyphrases
- orders of magnitude
- computational efficiency
- computational complexity
- data sets
- bounded memory
- computer vision algorithms
- times faster
- computationally efficient
- significant improvement
- image sequences
- learning algorithm
- evolutionary algorithm
- optimization problems
- similarity measure
- data mining algorithms
- computer vision
- recently developed
- efficient implementation
- machine learning
- database