152 search results - page 16 / 31 » Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use |
115
click to vote
MICS
2008
14 years 12 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
JC
2008
15 years 13 days ago
2008
Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families. The basic computation model used is the arithmetic circuit, which ma...
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
107
click to vote
SAC
2006
ACM
15 years 11 days ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
115
Voted
SOCRATES
2008
15 years 1 months ago
2008
As a multitude of studies has already revealed, illustrations can be profitably used to convey knowledge. While the importance of videos continues to increase on the internet, we ...