13383 search results - page 277 / 2677 » Abstractions from proofs |
191
click to vote
APPROX
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A fundamental goal of computational complexity (and foundations of cryptography) is to find a polynomial-time samplable distribution (e.g., the uniform distribution) and...
148
click to vote
IH
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Dittmann, Katzenbeisser, Schallhart and Veith (IACR ePrint 2004) introduced the notion of invertible media authentication schemes, embedding authentication data in media ...
203
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
182
click to vote
INFOCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract—This paper solves the joint power control and SIR assignment problem through distributed algorithms in the uplink of multi-cellular wireless networks. The 1993 Foschini-...
162
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...