6978 search results - page 1 / 1396 » On Proofs in System P |
ICALP
2010
Springer
15 years 3 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 ...
99
Voted
ICNP
2002
IEEE
15 years 3 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...
68
Voted
IJUFKS
2000
14 years 10 months ago
2000
108
Voted
CONEXT
2008
ACM
15 years 21 days 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...
68
Voted
ICDCS
2007
IEEE
15 years 5 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 ...