Sciweavers

15033 search results - page 109 / 3007
» Complexity Theory and Algorithms
Sort
View
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 8 months ago
Trust Estimation in autonomic networks: a statistical mechanics approach
— Trust management, broadly intended as the ability to maintain belief relationship among entities, is recognized as a fundamental security challenge for autonomous and selforgan...
Stefano Ermon, Luca Schenato, Sandro Zampieri
MST
2006
136views more  MST 2006»
15 years 3 months ago
Simple Efficient Load-Balancing Algorithms for Peer-to-Peer Systems
Load balancing is a critical issue for the efficient operation of peerto-peer networks. We give two new load-balancing protocols whose provable performance guarantees are within a...
David R. Karger, Matthias Ruhl
CIE
2006
Springer
15 years 7 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
DCG
2006
90views more  DCG 2006»
15 years 3 months ago
Combinatorial Complexity of Convex Sequences
We show that the equation si1 + si2 +
Alex Iosevich, S. Konyagin, Michael Rudnev, V. Ten
ATAL
2004
Springer
15 years 9 months ago
The Insufficiency of Formal Design Methods - The Necessity of an Experimental Approach - for the Understanding and Control of Co
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
Bruce Edmonds, Joanna Bryson