5138 search results - page 226 / 1028 » Randomized Algorithms for 3-SAT |
153
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
172
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
161
click to vote
COCO
2007
Springer
16 years 20 days ago
2007
Springer
We give an improved explicit construction of highly unbalanced bipartite expander graphs with expansion arbitrarily close to the degree (which is polylogarithmic in the number of ...
158
click to vote
DAGM
2007
Springer
16 years 20 days ago
2007
Springer
Magnetic resonance spectral images provide information on metabolic processes and can thus be used for in vivo tumor diagnosis. However, each single spectrum has to be checked manu...
150
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— We present a novel distributed algorithm for constructing random overlay networks that are composed of d Hamilton cycles. The protocol is completely decentralized as no globall...