Effective Temporal Aggregation Using Point-Based Trees
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
What time is it in the data warehouse?
DaWaK'06 Proceedings of the 8th international conference on Data Warehousing and Knowledge Discovery
Hi-index | 0.00 |
We extend our clausal resolution method for linear temporal logics to a branching-time framework. The branching-time temporal logics considered are computation tree logic (CTL), often regarded as the simplest useful logic of this class, and extended ...