Quantitative Monitoring of STL with Edit Distance.
Stefan JaksicEzio BartocciRadu GrosuDejan NickovicPublished in: RV (2016)
Keyphrases
- edit distance
- graph matching
- similarity measure
- string matching
- edit operations
- distance function
- string edit distance
- levenshtein distance
- approximate string matching
- distance measure
- string similarity
- dynamic time warping
- dynamic programming
- approximate matching
- graph edit distance
- tree structured data
- similarity join
- distance computation
- tree edit distance
- subgraph isomorphism
- matching algorithm
- finite alphabet
- similarity search
- image processing