Sciweavers

3750 search results - page 491 / 750
» Timed Automata Patterns
Sort
View
120
Voted
KDD
2003
ACM
122views Data Mining» more  KDD 2003»
16 years 3 months ago
Discovery of climate indices using clustering
To analyze the effect of the oceans and atmosphere on land climate, Earth Scientists have developed climate indices, which are time series that summarize the behavior of selected ...
Michael Steinbach, Pang-Ning Tan, Vipin Kumar, Ste...
SIGMOD
2007
ACM
195views Database» more  SIGMOD 2007»
16 years 3 months ago
Effective variation management for pseudo periodical streams
Many database applications require the analysis and processing of data streams. In such systems, huge amounts of data arrive rapidly and their values change over time. The variati...
Lv-an Tang, Bin Cui, Hongyan Li, Gaoshan Miao, Don...
163
Voted
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 9 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
127
Voted
ECSCW
2003
15 years 4 months ago
When Can I Expect an Email Response? A Study of Rhythms in Email Usage
A study of email responsiveness was conducted to understand how the timing of email responses conveys important information. Interviews and observations explored users’ perceptio...
Joshua R. Tyler, John C. Tang
138
Voted
ALGORITHMICA
2005
195views more  ALGORITHMICA 2005»
15 years 3 months ago
Bit-Parallel Witnesses and Their Applications to Approximate String Matching
We present a new bit-parallel technique for approximate string matching. We build on two previous techniques. The first one, BPM [Myers, J. of the ACM, 1999], searches for a patte...
Heikki Hyyrö, Gonzalo Navarro