9997 search results - page 335 / 2000 » The case for crowd computing |
182
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
153
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We show how to implement an arbitrary two-qubit unitary operation using any of several quantum gate libraries with small a priori upper bounds on gate counts. In analogy to librar...
247
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Recently Cash, Kiltz, and Shoup [20] showed a variant of the Cramer-Shoup (CS) public key encryption (PKE) scheme [21] whose chosen-ciphertext (CCA) security relies on the computa...
192
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition va...
150
click to vote
BIRD
2008
Springer
2008
Springer
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
15 years 8 months ago
The thermodynamics of RNA-RNA interaction consists of two components: the energy necessary to make a potential binding region accessible, i.e., unpaired, and the energy gained from...