1005 search results - page 13 / 201 » Temporal Structures |
CSDA
2004
13 years 7 months ago
2004
JOCN
2010
2010
Contrasting Effects of Vocabulary Knowledge on Temporal and Parietal Brain Structure across Lifespan
13 years 5 months ago
VLDB
1992
ACM
13 years 11 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...
AIPS
2000
13 years 8 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...
CAV
2005
Springer
14 years 28 days 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...