4229 search results - page 778 / 846 » On the Optimality of Spiral Search |
SPIN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
118
click to vote
SIGIR
2009
ACM
15 years 5 months ago
2009
ACM
This paper studies document ranking under uncertainty. It is tackled in a general situation where the relevance predictions of individual documents have uncertainty, and are depen...
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Leveraging clickthrough data has become a popular approach for evaluating and optimizing information retrieval systems. Although data is plentiful, one must take care when interpr...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
—In this paper, a lattice-reduction-aided (LRA) With such an approximation, the complexity of VP is greatly minimum mean square error (MMSE) vector precoding (VP) is reduced. pro...
ICS
2007
Tsinghua U.
15 years 5 months ago
2007
Tsinghua U.
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...