1005 search results - page 13 / 201 » Temporal Structures |
73
Voted
CSDA
2004
15 years 2 months ago
2004
130
click to vote
VLDB
1992
ACM
15 years 6 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
110
Voted
AIPS
2000
15 years 3 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
124
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...