1184 search results - page 25 / 237 » Algorithmic Results in List Decoding |
68
Voted
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
221
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
As ever-larger training sets for learning to rank are created, scalability of learning has become increasingly important to achieving continuing improvements in ranking accuracy [...
113
click to vote
IDEAL
2010
Springer
14 years 9 months ago
2010
Springer
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
We consider a wireless communication system where multiple co-channel users transmit data via a synchronous, frequency-flat Rayleigh fading channel. The receiver employs an antenna...
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...