2659 search results - page 450 / 532 » Do we mean the same |
116
click to vote
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Document retrieval systems conventionally use words as the basic unit of representation, a natural choice since words are primary carriers of semantic information. In this paper w...
166
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
126
click to vote
RECOMB
2010
Springer
15 years 11 months ago
2010
Springer
Background: The empirical frequencies of DNA k-mers in whole genome sequences provide an interesting perspective on genomic complexity, and the availability of large segments of g...
143
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
157
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In the realm of satellite communications, one of the great impairments to increase the spectral efficiency is multi-user interference in the reverse link (mobile to satellite). ...