Sciweavers

7311 search results - page 217 / 1463
» Time in State Machines
Sort
View
IJCAI
2007
15 years 8 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 7 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
ANOR
2006
74views more  ANOR 2006»
15 years 7 months ago
Electroencephalogram (EEG) time series classification: Applications in epilepsy
Epilepsy is among the most common brain disorders. Approximately 25
Wanpracha Art Chaovalitwongse, Oleg A. Prokopyev, ...
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
Infinite Time Cellular Automata: A Real Computation Model
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
Fabien Givors, Grégory Lafitte, Nicolas Oll...
CSDA
2006
191views more  CSDA 2006»
15 years 7 months ago
Forecasting daily time series using periodic unobserved components time series models
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...
Siem Jan Koopman, Marius Ooms