Temporal Specifications with Accumulative Values.
Udi BokerKrishnendu ChatterjeeThomas A. HenzingerOrna KupfermanPublished in: LICS (2011)
Keyphrases
- temporal information
- spatio temporal
- temporal data
- temporal constraints
- spatial and temporal
- high level
- temporal reasoning
- temporal consistency
- database
- temporal analysis
- temporal correlation
- formal specification
- parameter values
- information systems
- neural network
- data sets
- space time
- objective function
- website
- temporal databases
- artificial intelligence