On the Expressiveness of Metric Temporal Logic over Bounded Timed Words.

Published in: RP (2014)

Keyphrases

metric temporal logic
expressive power
n gram
keywords
petri net
text documents
proper nouns
english words
related words
discrete event
finite state machines
text mining
document representation
continuous functions
neural network
machine learning
data mining