8825 search results - page 1502 / 1765 » All for one or one for all |
133
click to vote
EUROCRYPT
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...
136
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
119
click to vote
ASUNAM
2010
IEEE
15 years 2 months ago
2010
IEEE
Subgraph matching is a key operation on graph data. Social network (SN) providers may want to find all subgraphs within their social network that "match" certain query gr...
AGI
2008
15 years 2 months ago
2008
One might imagine that AI systems with harmless goals will be harmless. This paper instead shows that intelligent systems will need to be carefully designed to prevent them from be...
107
click to vote
AAAI
2010
15 years 2 months ago
2010
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...