Sciweavers

2259 search results - page 53 / 452
» Separation and information hiding
Sort
View
FOSSACS
2010
Springer
16 years 1 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
15 years 11 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
16 years 8 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
16 years 25 days 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
16 years 13 days 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