A Metric Temporal Logic for Dealing with Zero-Time Transitions.

Luca Ferrucci Dino Mandrioli Angelo Morzenti Matteo Rossi

Published in: TIME (2012)

Keyphrases

metric temporal logic
databases
neural network
learning algorithm
multiscale
domain knowledge
medical images