7486 search results - page 252 / 1498 » The Limits of Quantum Computers |
183
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
177
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
149
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The study of protein-protein interactions is becoming increasingly important for biotechnological and therapeutic reasons. We can define two major areas therein: the s...
168
click to vote
JSS
2006
15 years 6 months ago
2006
Due to the limited power supply of mobile devices, much research has been done on reducing the power consumption of mobile devices in mobile computing environments. Since supporti...
243
click to vote
TMI
2008
15 years 6 months ago
2008
Computed tomography (CT) has a trend towards higher resolution and higher noise. This development has increased the interest in anisotropic smoothing techniques for CT, which aim t...