Sciweavers

7827 search results - page 87 / 1566
» time 2007
Sort
View
FORTE
2007
15 years 6 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
KDD
2007
ACM
168views Data Mining» more  KDD 2007»
16 years 5 months ago
Detecting time series motifs under uniform scaling
Time series motifs are approximately repeated patterns found within the data. Such motifs have utility for many data mining algorithms, including rule-discovery, novelty-detection...
Dragomir Yankov, Eamonn J. Keogh, Jose Medina, Bil...
ESANN
2006
15 years 6 months ago
LS-SVM functional network for time series prediction
Usually time series prediction is done with regularly sampled data. In practice, however, the data available may be irregularly sampled. In this case the conventional prediction me...
Tuomas Kärnä, Fabrice Rossi, Amaury Lend...
DAGSTUHL
2004
15 years 6 months ago
Lower Bounds and Non-Uniform Time Discretization for Approximation of Stochastic Heat Equations
We study algorithms for approximation of the mild solution of stochastic heat equations on the spatial domain ]0, 1[ d . The error of an algorithm is defined in L2-sense. We derive...
Klaus Ritter, Thomas Müller-Gronbach
APCCM
2006
15 years 6 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen