A note on unbounded metric temporal logic over dense time domains.

Stefano Baratella Andrea Masini

Published in: Math. Log. Q. (2006)

Keyphrases

metric temporal logic
real world
application domains
databases
neural network
training data
data structure
medical images
cross domain
transfer learning