5981 search results - page 164 / 1197 » time 2006 |
130
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
135
click to vote
APCCM
2006
15 years 5 months ago
2006
Data Warehouses (DWs) use an omnipresent time dimension for keeping track of changes in measure values. However, this dimension cannot be used to model changes in other dimensions...
115
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In off-line streaming, packet level erasure resilient Forward Error Correction (FEC) codes rely on the unrestricted buffering time at the receiver. In real-time streaming, the ext...
134
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
The Robinson-Foulds (RF) metric is the measure most widely used in comparing phylogenetic trees; it can be computed in linear time using Day's algorithm. When faced with the n...
144
click to vote
DMIN
2006
15 years 5 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...