793 search results - page 66 / 159 » Argumentation and standards of proof |
89
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...
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
We describe a system for automatic annotation of English text in the FrameNet standard. In addition to the conventional annotation of frame elements and their semantic roles, we a...
111
Voted
FOIS
2006
15 years 2 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
77
Voted
PDPTA
2003
15 years 2 months ago
2003
— In this paper we present a library of classes for programming reinforcement learning simulations in Java. This library is based upon the standard by Sutton and Santamaria [1], ...
103
click to vote
PPSN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a new method for proving lower bounds in evolutionary computation based on fitness-level arguments and an additional condition on transition probabilities bet...