5344 search results - page 154 / 1069 » Privacy-Preserving Set Operations |
141
click to vote
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
103
click to vote
USENIX
2008
15 years 5 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
108
click to vote
PDPTA
2007
15 years 4 months ago
2007
- In this paper, we study the algorithm design aspects of three newly developed spin-wave architectures. The architectures are capable of simultaneously transmitting multiple signa...
120
click to vote
LISA
2001
15 years 4 months ago
2001
After installing an OS distribution, a computer is generally not yet properly adapted to go into production at the local site. Security policies must be implemented, local service...
101
Voted
IJCAI
2003
15 years 4 months ago
2003
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...