Temporal Refinements for Guarded Recursive Types.

Guilhem Jaber Colin Riba

Published in: ESOP (2021)

Keyphrases

spatial and temporal
temporal information
multiscale
spatio temporal
neural network
data structure
fixed point
space time
data sets
temporal reasoning
temporal data
database
temporal patterns
hidden markov models
relational databases
expert systems
artificial intelligence
real time