6978 search results - page 73 / 1396 » On Proofs in System P |
CONEXT
2010
ACM
14 years 7 months ago
2010
ACM
Peer-to-peer has emerged in recent years as a promising approach to providing Video-on-Demand streaming. The design space, however, is vast and still not well understood--yet choo...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
P2P networks have become increasingly popular in the recent years. However, their open, distributed and anonymous nature makes them very vulnerable against malicious users who prov...
ECCC
2010
14 years 10 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
IANDC
2000
14 years 9 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
102
click to vote
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...