2954 search results - page 152 / 591 » Beyond |
172
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Binary-clause reasoning has been shown to reduce the size of the search space on many satisfiability problems, but has often been so expensive that run-time was higher than that o...
146
click to vote
TCOM
2008
15 years 6 months ago
2008
A new exact explicit expression is derived for the ergodic capacity of maximal ratio combining (MRC) schemes over arbitrarily correlated Rician fading channels. This is used to stu...
134
click to vote
TIT
2008
15 years 6 months ago
2008
A novel, non-trivial, probabilistic upper bound on the entropy of an unknown one-dimensional distribution, given the support of the distribution and a sample from that distribution...
151
click to vote
TOPLAS
2008
15 years 6 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
140
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
Educational on-line resources are expanding in their application beyond delivering courses to providing venues in which members of professional communities of practice meet to exc...