412 search results - page 53 / 83 » Observability of Switched Linear Systems in Continuous Time |
PCRCW
1997
Springer
13 years 11 months ago
1997
Springer
High performance portable and space-borne systems continue to demand increasing computation speeds while concurrently attempting to satisfy size, weight, and power constraints. As...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Speech recognition is usually based on Hidden Markov Models (HMMs), which represent the temporal dynamics of speech very efficiently, and Gaussian mixture models, which do non-opt...
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
MMAS
2011
Springer
13 years 2 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...