Online Timed Pattern Matching Using Derivatives.

Dogan Ulus Thomas Ferrère Eugene Asarin Oded Maler

Published in: TACAS (2016)

Keyphrases

pattern matching
regular expressions
string matching
pattern matching algorithm
bit parallel
matching process
petri net
tree matching
hamming distance
image processing
lossy compression
matching algorithm
boyer moore
database
web search engines
relational databases
multiscale
database systems
databases