3333 search results - page 90 / 667 » Abstract Proof Search |
129
Voted
AC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
135
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Although the number of online privacy policies is increasing, it remains difficult for Internet users to understand them, let alone to compare policies across sites or i...
111
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
201
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
145
click to vote
ECCC
2010
15 years 2 months ago
2010
Parameterized Resolution and, moreover, a general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [16] (FOCS’07). In that paper, Dan...