2767 search results - page 38 / 554 » Universal Exponentiation Algorithm |
CIAC
2006
Springer
14 years 1 months ago
2006
Springer
ACSD
2007
IEEE
13 years 12 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
STOC
1997
ACM
14 years 2 months ago
1997
ACM
Shor has showed how to perform fault tolerant quantum computation when the probability for an error in a qubit or a gate, η, decays with the size of the computation polylogarithmi...
JSC
2006
13 years 10 months ago
2006
In this paper, we analyze the complexity of a zero test for expressions built from formal power series solutions of first order differential equations with non degenerate initial ...
TIT
2011
13 years 4 months ago
2011
—For the universal hypothesis testing problem, where the goal is to decide between the known null hypothesis distribution and some other unknown distribution, Hoeffding proposed ...