5973 search results - page 137 / 1195 » Fundamental forms of information |
140
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The problem of stochastic robust sum mean square error (MSE) minimization transceiver design is addressed for multiple-input multiple-output (MIMO) broadcast channels (BCs). The t...
376
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
283
click to vote
Publication
In this letter, we proposed a new recoloring method for people with protanopic and deuteranopic color deficiencies.We present a color transformation that aims to preserve the color...
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
160
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...