7486 search results - page 1102 / 1498 » The Limits of Quantum Computers |
162
click to vote
AMAI
2004
Springer
16 years 8 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
195
click to vote
APPROX
2004
Springer
16 years 8 days ago
2004
Springer
ABSTRACT: Let G(n, c/n) and Gr(n) be an n-node sparse random graph and a sparse random rregular graph, respectively, and let I(n, r) and I(n, c) be the sizes of the largest indepen...
169
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
— An Autonomous Science Agent is currently flying onboard the Earth Observing One Spacecraft. This software enables the spacecraft to autonomously detect and respond to science e...
177
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
Partially observable decentralized decision making in robot teams is fundamentally different from decision making in fully observable problems. Team members cannot simply apply si...
159
click to vote
BIOADIT
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper discusses Tangible User Interfaces (TUIs) and their potential impact on cognitive assessment and cognitive training. We believe that TUIs, and particularly a s...