Sciweavers

1188 search results - page 33 / 238
» Modeling synchronized time series
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
MODELS
2009
Springer
14 years 4 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
BMCBI
2007
139views more  BMCBI 2007»
13 years 9 months ago
Significance analysis of microarray transcript levels in time series experiments
Background: Microarray time series studies are essential to understand the dynamics of molecular events. In order to limit the analysis to those genes that change expression over ...
Barbara Di Camillo, Gianna Toffolo, Sreekumaran K....
IJCNN
2007
IEEE
14 years 4 months ago
Local Learning of Tide Level Time Series using a Fuzzy Approach
— Forecasting the tide level in the Venezia lagoon is a very compelling task. In this work we propose a new approach to the learning of tide level time series based on the local ...
E. Canestrelli, P. Canestrelli, Marco Corazza, Mau...
MICCAI
2007
Springer
14 years 10 months ago
Towards an Identification of Tumor Growth Parameters from Time Series of Images
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
Ender Konukoglu, Olivier Clatz, Pierre-Yves Bondia...