152 search results - page 17 / 31 » Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use |
128
click to vote
EUROS
2008
15 years 2 months ago
2008
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
117
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
96
Voted
AUSAI
2003
Springer
15 years 4 months ago
2003
Springer
This paper introduces a new method for the rapid development of complex rule bases involving cue phrases for the purpose of classifying text segments. The method is based on Ripple...
88
Voted
FC
2010
Springer
15 years 4 months ago
2010
Springer
We present a new construction of divisible e-cash that makes use of 1) a new generation method of the binary tree of keys; 2) a new way of using bounded accumulators. The transacti...
AI
2004
Springer
15 years 5 months ago
2004
Springer
The fitness function of an evolutionary algorithm is one of the few possible spots where application knowledge can be made available to the algorithm. But the representation and u...