Factorising Temporal Specifications.

Marieke Huisman Kerry Trentelman

Published in: CATS (2005)

Keyphrases

spatio temporal
spatial and temporal
temporal information
temporal reasoning
temporal constraints
temporal consistency
database
temporal evolution
temporal data
space time
information systems
formal specification
temporal databases
multiscale
artificial intelligence
temporal relations
machine learning
databases