Sciweavers

2259 search results - page 53 / 452
» Separation and information hiding
Sort
View
FOSSACS
2010
Springer
14 years 3 months ago
A Semantic Foundation for Hidden State
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, F...
FOSSACS
2003
Springer
14 years 2 months ago
Manipulating Trees with Hidden Labels
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
CVPR
2004
IEEE
14 years 10 months ago
Using Skew Gabor Filter in Source Signal Separation and Local Spectral Multi-Orientation Analysis
Responses of Gabor wavelets in the mid-frequency space build a local spectral representation scheme with optimal properties regarding the time-frequency uncertainty principle. How...
Weichuan Yu, Gerald Sommer, Kostas Daniilidis
IDA
2009
Springer
14 years 3 months ago
On Optimal Selection of Correlation Matrices for Matrix-Pencil-Based Separation
Abstract. The Matrix-Pencil approach to blind source separation estimates the mixing matrix from the Generalized Eigenvalue Decomposition (GEVD), or Exact Joint Diagonalization, of...
Arie Yeredor
EUROCRYPT
2007
Springer
14 years 3 months ago
Conditional Computational Entropy, or Toward Separating Pseudoentropy from Compressibility
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
Chun-Yuan Hsiao, Chi-Jen Lu, Leonid Reyzin