6978 search results - page 1 / 1396 » On Proofs in System P |
79
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
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 ...
119
Voted
ICNP
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— Internet flash crowds (a.k.a. hot spots) are a phenomenon that result from a sudden, unpredicted increase in an on-line object’s popularity. Currently, there is no e...
77
Voted
IJUFKS
2000
15 years 27 days ago
2000
129
Voted
CONEXT
2008
ACM
15 years 2 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...