Sciweavers

18306 search results - page 280 / 3662
» Algorithmics in Exponential Time
Sort
View
KDD
2012
ACM
205views Data Mining» more  KDD 2012»
13 years 9 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...
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
16 years 4 days ago
Timing Games and Shared Memory
Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
TACAS
2004
Springer
62views Algorithms» more  TACAS 2004»
16 years 18 hour ago
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...
COCO
2001
Springer
104views Algorithms» more  COCO 2001»
15 years 11 months ago
Time-Space Tradeoffs in the Counting Hierarchy
Eric Allender, Michal Koucký, Detlef Ronneb...
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 11 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...