6978 search results - page 126 / 1396 » On Proofs in System P |
162
click to vote
MATES
2005
Springer
15 years 11 months ago
2005
Springer
Knowledge sharing in a virtual organization requires a knowledge life cycle including knowledge provisioning, terminology alignment, determination of resource location, query routi...
148
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
169
click to vote
DBSEC
2010
15 years 7 months ago
2010
The intent of peer data management systems (PDMS) is to share as much data as possible. However, in many applications leveraging sensitive data, users demand adequate mechanisms to...
121
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
We demonstrate how to use Lautemann's proof that BPP is in p 2 to exhibit that BPP is in RPPromiseRP. Immediate consequences show that if PromiseRP is easy or if there exist q...
178
click to vote
FOCS
2006
IEEE
16 years 9 days ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...