7988 search results - page 1325 / 1598 » A Useful Undecidable Theory |
194
click to vote
RSA
2010
15 years 5 months ago
2010
: We study a random graph model which is a superposition of bond percolation on Zd with parameter p, and a classical random graph G(n, c/n). We show that this model, being a homoge...
212
click to vote
SIAMSC
2010
15 years 5 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
165
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
165
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
We discuss several features of coherent choice functions – where the admissible options in a decision problem are exactly those which maximize expected utility for some probabil...
185
click to vote
TCOM
2010
15 years 5 months ago
2010
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...