4781 search results - page 624 / 957 » Complexity at large |
141
Voted
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
132
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper is concerned with the transmission strategies and relay selection for decode-and-forward parallel relay networks (PRNs) based on superposition coding. Our focus is on...
170
click to vote
ADC
2008
Springer
15 years 11 months ago
2008
Springer
In this paper, we study the problem of measuring structural similarities of large number of source schemas against a single domain schema, which is useful for enhancing the qualit...
152
click to vote
AVSS
2007
IEEE
15 years 11 months ago
2007
IEEE
With decreasing costs of high quality surveillance systems, human activity detection and tracking has become increasingly practical. Accordingly, automated systems have been desig...
130
click to vote
BDIM
2007
IEEE
15 years 11 months ago
2007
IEEE
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...