2767 search results - page 190 / 554 » Universal Exponentiation Algorithm |
100
Voted
IANDC
2008
15 years 2 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
125
Voted
CPC
2007
15 years 2 months ago
2007
We show that a random 4-regular graph asymptotically almost surely (a.a.s.) has chromatic number 3. The proof uses an efficient algorithm which a.a.s. 3colours a random 4-regular ...
99
Voted
SIAMJO
2008
15 years 2 months ago
2008
We show that the optimal complexity of Nesterov's smooth first-order optimization algorithm is preserved when the gradient is only computed up to a small, uniformly bounded er...
127
click to vote
SIAMSC
2008
15 years 2 months ago
2008
We address the problem of conformally mapping the unit disk to polygons with elongations. The elongations cause the derivative of the conformal map to be exponentially large in so...
127
click to vote
JMLR
2010
14 years 9 months ago
2010
We present a general method for explaining individual predictions of classification models. The method is based on fundamental concepts from coalitional game theory and prediction...