1677 search results - page 38 / 336 » On the Completeness of Quantum Computation Models |
114
click to vote
ICCSA
2004
Springer
2004
Springer
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
15 years 6 months ago
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
IJMMS
2000
15 years 1 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
A Direct Sum Theorem holds in a model of computation, when for every problem solving some k input instances together is k times as expensive as solving one. We show that Direct Su...
168
click to vote
HPCA
2002
IEEE
16 years 1 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...