9051 search results - page 252 / 1811 » On detectability of stochastic systems |
249
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
214
click to vote
ICC
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In this paper, we propose a training-based channel estimation scheme for large non-orthogonal space-time block coded (STBC) MIMO systems. The proposed scheme employs a b...
198
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Network Intrusion Detection Systems (NIDS) are more and more important in today’s network security for identifying and preventing malicious attacks over the network. This pape...
248
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Increasing traffic and the necessity of stateful analyses impose strong computational requirements on network intrusion detection systems (NIDS), and motivate the need of distrib...
188
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel fault detection and section estimation method for unbalanced underground distribution systems (UDS). The method proposed is based on artificial neural n...