5084 search results - page 163 / 1017 » Proving Possibility Properties |
157
click to vote
EIT
2008
IEEE
16 years 24 days ago
2008
IEEE
We present a schema to build one way functions from a family of Boolean gates. Moreover, we relate characteristics of these Boolean gate truth tables to properties of the derived ...
178
click to vote
SP
2008
IEEE
16 years 22 days ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
155
click to vote
ICDM
2007
IEEE
16 years 20 days ago
2007
IEEE
An interesting problem in Nonnegative Matrix Factorization (NMF) is to factorize the matrix X which is of some specific class, for example, binary matrix. In this paper, we exten...
154
click to vote
CALCO
2007
Springer
16 years 16 days ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
154
click to vote
APCCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...