1743 search results - page 109 / 349 » Generalized Modal Satisfiability |
EUROCRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
119
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
108
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are asso...
85
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e....
108
click to vote
TCS
2010
14 years 11 months ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...