Sciweavers

1188 search results - page 32 / 238
» Modeling synchronized time series
Sort
View
FMCAD
2000
Springer
14 years 1 months ago
Model Checking Synchronous Timing Diagrams
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Ke...
ICANN
2001
Springer
14 years 2 months ago
Generalized Relevance LVQ for Time Series
Abstract. An application of the recently proposed generalized relevance learning vector quantization (GRLVQ) to the analysis and modeling of time series data is presented. We use G...
Marc Strickert, Thorsten Bojer, Barbara Hammer
ESANN
2006
13 years 11 months ago
LS-SVM functional network for time series prediction
Usually time series prediction is done with regularly sampled data. In practice, however, the data available may be irregularly sampled. In this case the conventional prediction me...
Tuomas Kärnä, Fabrice Rossi, Amaury Lend...
COMPSYSTECH
2010
13 years 6 months ago
Integration of neural networks and expert systems for time series prediction
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
Ventsislav Nikolov, Valeri Bogdanov
ICANN
2010
Springer
13 years 7 months ago
Time Series Forecasting by Evolving Artificial Neural Networks Using "Shuffle", Cross-Validation and Ensembles
Accurate time series forecasting are important for several business, research, and application of engineering systems. Evolutionary Neural Networks are particularly appealing becau...
Juan Peralta, Germán Gutiérrez, Arac...