7690 search results - page 394 / 1538 » On the semantics of informational independence |
162
click to vote
IDA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a novel technique for separating convolutive mixtures of statistically independent non-Gaussian signals. The time-domain convolution is transformed in...
203
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Large scale image search has recently attracted considerable attention due to easy availability of huge amounts of data. Several hashing methods have been proposed to allow approx...
175
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
187
click to vote
CRYPTO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
270
click to vote
FMOODS
2008
15 years 8 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...