1156 search results - page 34 / 232 » Compositional Methods for Information-Hiding |
ITIIS
2008
13 years 7 months ago
2008
In this paper, we propose a subcarrier allocation method and a composite linear minimum mean square error (LMMSE) channel estimator to increase spectrum efficiency in orthogonal f...
WSC
2000
13 years 9 months ago
2000
We propose "low cost response surface methods" (LCRSM) that typically require half the experimental runs of standard response surface methods based on central composite ...
LICS
1998
IEEE
13 years 11 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, we present a composite hypothesis testing approach for cooperative spectrum sensing. We derive the optimal likelihood ratio test (LRT) statistic based on the Neym...