Pattern Matching in Link Streams: Timed-Automata with Finite Memory.
Clément BertrandFrédéric PeschanskiHanna KlaudelMatthieu LatapyPublished in: Sci. Ann. Comput. Sci. (2018)
Keyphrases
- pattern matching
- timed automata
- model checking
- reachability analysis
- incoming data
- theorem prover
- data streams
- regular expressions
- tree matching
- matching process
- pattern matching algorithm
- string matching
- real time
- boyer moore
- first order logic
- theorem proving
- random access
- temporal logic
- sliding window
- databases
- hamming distance
- suffix tree
- graph matching
- matching strategy
- distributed systems
- search algorithm