308 search results - page 35 / 62 » Temporal Plan Interdependencies |
ICAISC
2004
Springer
15 years 3 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
Evaluation of complex event queries over time involves storing information about those events that are relevant for, i.e., might contribute to, future answers. We call the period ...
106
click to vote
SIGMOD
2001
ACM
15 years 10 months ago
2001
ACM
Materialized views have been found to be very effective at speeding up queries, and are increasingly being supported by commercial databases and data warehouse systems. However, w...
160
click to vote
BNCOD
2011
13 years 9 months ago
2011
Due to high data volumes and unpredictable arrival rates, continuous query systems processing expensive queries in real-time may fail to keep up with the input data streams - resul...
FPL
2007
Springer
15 years 3 months ago
2007
Springer
A temporal correlation based port combination algorithm that customizes the router design in Network-on-Chip (NoC) is proposed for reconfigurable systems in order to minimize req...