921 search results - page 17 / 185 » On Interleaving in Timed Automata |
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
JLP
2006
14 years 11 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
77
Voted
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, frequency-domain interleaving on a frame-by-frame basis for orthogonal frequency division multiplexing combined with time division multiplexing (OFDM/TDM) using m...
118
click to vote
ICML
2008
IEEE
16 years 15 days ago
2008
IEEE
Hidden Markov models assume that observations in time series data stem from some hidden process that can be compactly represented as a Markov chain. We generalize this model by as...
DBPL
2007
Springer
15 years 3 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...