Sciweavers

87 search results - page 4 / 18
» Monitoring Temporal Rules Combined with Time Series
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
13 years 5 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
CIKM
2006
Springer
13 years 9 months ago
Measuring the meaning in time series clustering of text search queries
We use a combination of proven methods from time series analysis and machine learning to explore the relationship between temporal and semantic similarity in web query logs; we di...
Bing Liu 0003, Rosie Jones, Kristina Lisa Klinkner
ML
2000
ACM
157views Machine Learning» more  ML 2000»
13 years 5 months ago
A Multistrategy Approach to Classifier Learning from Time Series
We present an approach to inductive concept learning using multiple models for time series. Our objective is to improve the efficiency and accuracy of concept learning by decomposi...
William H. Hsu, Sylvian R. Ray, David C. Wilkins
KDD
2012
ACM
205views Data Mining» more  KDD 2012»
11 years 8 months ago
Searching and mining trillions of time series subsequences under dynamic time warping
Most time series data mining algorithms use similarity search as a core subroutine, and thus the time taken for similarity search is the bottleneck for virtually all time series d...
Thanawin Rakthanmanon, Bilson J. L. Campana, Abdul...
WSOM
2009
Springer
14 years 12 days ago
Incremental Unsupervised Time Series Analysis Using Merge Growing Neural Gas
We propose Merge Growing Neural Gas (MGNG) as a novel unsupervised growing neural network for time series analysis. MGNG combines the state-of-the-art recursive temporal context of...
Andreas Andreakis, Nicolai von Hoyningen-Huene, Mi...