Sciweavers

106 search results - page 15 / 22
» On the Analysis of Numerical Data Time Series in Temporal Lo...
Sort
View
FSTTCS
2010
Springer
13 years 5 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
KDD
2008
ACM
121views Data Mining» more  KDD 2008»
14 years 8 months ago
Reconstructing chemical reaction networks: data mining meets system identification
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
Yong Ju Cho, Naren Ramakrishnan, Yang Cao
LICS
2003
IEEE
14 years 1 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
IGARSS
2010
13 years 6 months ago
High-rate local sea level monitoring with a GNSS-based tide gauge
We present first results from the analysis of high-rate observations with a GNSS-based tide gauge at the Onsala Space Observatory. The goal is to determine local sea level with hi...
Johan S. Löfgren, Rudiger Haas, Jan M. Johans...
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
14 years 9 months ago
Visual Exploration of Climate Variability Changes Using Wavelet Analysis
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
Heike Jänicke, Michael Böttinger, Uwe Mikolaje...