6978 search results - page 70 / 1396 » On Proofs in System P |
109
click to vote
DASFAA
2006
IEEE
15 years 3 months ago
2006
IEEE
Efficient full-text keyword search remains a challenging problem in P2P systems. Most of the traditional keyword search systems on DHT overlay networks perform the join operation ...
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
Wireless sensor networks are designed for a very wide, yet specific, purpose. Their components have processing and power limitations. Due to these limitations, decisions by runni...
ICPPW
2007
IEEE
15 years 4 months ago
2007
IEEE
P2P technology has been widely adopted in live streaming system for its scalability and low commercial cost. However, tree based system or mesh based system still has to face the ...
106
click to vote
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
Publish/Subscribe systems have become a prevalent model for delivering data from producers (publishers) to consumers (subscribers) distributed across wide-area networks while decou...
AML
2004
14 years 9 months ago
2004
We show that short bounded-depth Frege proofs of matrix identities, such as P Q = I QP = I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonho...