Login / Signup
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections.
Dileep Raghunath Kini
Shankara Narayanan Krishna
Paritosh K. Pandya
Published in:
FORMATS (2011)
Keyphrases
</>
temporal reasoning
three dimensional
cellular automata
temporal data
neural network
spatio temporal
signal processing
high frequency
knowledge base
spatial and temporal
temporal databases
compressive sensing
upper approximation