234 search results - page 18 / 47 » Proof Nets and the Identity of Proofs |
169
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we present a simple deterministic algorithm for testing whether a multivariate polynomial f(x1, . . . , xn) is identically zero, in time polynomial in m, n, log(d + ...
140
click to vote
FSS
2010
15 years 4 months ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
160
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
156
click to vote
IPMU
1994
Springer
15 years 10 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...