Sciweavers

7200 search results - page 1136 / 1440
» On the Computational Power of Winner-Take-All
Sort
View
LICS
2007
IEEE
16 years 1 months ago
A Dependent Set Theory
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
Wojciech Moczydlowski
P2P
2007
IEEE
156views Communications» more  P2P 2007»
16 years 1 months ago
Completeness Estimation of Range Queries in Structured Overlays
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
Marcel Karnstedt, Kai-Uwe Sattler, Roman Schmidt
SASO
2007
IEEE
16 years 1 months ago
Desynchronization: The Theory of Self-Organizing Algorithms for Round-Robin Scheduling
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...
Ankit Patel, Julius Degesys, Radhika Nagpal
VTC
2007
IEEE
136views Communications» more  VTC 2007»
16 years 1 months ago
LDPC-Coded HARQ Throughput Performance of MC-CDMA Using ICI Cancellation
—Broadband packet data services are demanded in the next generation mobile communications systems. Multi-carrier CDMA (MC-CDMA) is considered to be a promising wireless technique...
Kaoru Fukuda, Akinori Nakajima, Fumiyuki Adachi
ASIACRYPT
2007
Springer
16 years 29 days ago
Secure Protocols with Asymmetric Trust
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
Ivan Damgård, Yvo Desmedt, Matthias Fitzi, J...
« Prev « First page 1136 / 1440 Last » Next »