211 search results - page 13 / 43 » On the Proof Theory of the Existence Predicate |
211
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
160
click to vote
VMCAI
2007
Springer
16 years 4 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
156
click to vote
FOCS
2008
IEEE
16 years 15 days ago
2008
IEEE
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
167
click to vote
ML
2000
ACM
15 years 5 months ago
2000
ACM
Existing methods for exploiting awed domain theories depend on the use of a su ciently large set of training examples for diagnosing and repairing aws in the theory. In this paper,...
181
click to vote
JDCTA
2010
15 years 25 days ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...