722 search results - page 21 / 145 » The State Operator in Real Time Process Algebra |
CORR
2006
Springer
14 years 11 months ago
2006
Springer
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
INFORMATICALT
1998
14 years 11 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
132
click to vote
GFKL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the ...
108
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
105
click to vote
HPDC
1999
IEEE
15 years 4 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...