1246 search results - page 132 / 250 » Recursive Timed Automata |
162
Voted
NPL
1998
15 years 4 months ago
1998
Abstract. One of the main problems associated with arti cial neural networks online learning methods is the estimation of model order. In this paper, we report about a new approach...
141
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A great deal of interest has been paid to the estimation of time-varying autoregressive (TVAR) parameters. However, when the observations are disturbed by an additive white measur...
168
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
121
Voted
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
125
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...