Parametric Timed Pattern Matching.

Masaki Waga Étienne André Ichiro Hasuo

Published in: ACM Trans. Softw. Eng. Methodol. (2023)

Keyphrases

pattern matching
petri net
regular expressions
matching process
tree matching
approximate pattern matching
string matching
pattern matching algorithm
data sets
image processing
dynamic programming
graph matching
lossy compression