2629 search results - page 101 / 526 » complex 2009 |
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
91
Voted
ICASSP
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
111
Voted
FSE
2009
Springer
15 years 7 months ago
2009
Springer
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
87
Voted
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...
97
Voted
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...