Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.
Masaki WagaPublished in: FORMATS (2019)
Keyphrases
- pattern matching
- regular expressions
- timed automata
- matching process
- pattern matching algorithm
- string matching
- finite state machines
- boyer moore
- tree matching
- hamming distance
- petri net
- lossy compression
- matching strategy
- approximate pattern matching
- relational algebra
- graph matching
- integrity constraints
- model checking
- data model
- search algorithm
- databases