8903 search results - page 144 / 1781 » Alternative |
153
click to vote
ECCC
2010
15 years 6 months ago
2010
We present an alternate proof of the result by Kabanets and Impagliazzo that derandomizing polynomial identity testing implies circuit lower bounds. Our proof is simpler, scales b...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...
145
click to vote
APAL
2006
15 years 6 months ago
2006
In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends t...
104
Voted
COMBINATORICS
2006
15 years 6 months ago
2006
An alternative generalisation of Hayman's concept of admissible functions to functions in several variables is developed and a multivariate asymptotic expansion for the coeff...
141
Voted
CSDA
2006
15 years 6 months ago
2006
A possible approach to bandwidth selection for difference-based variance estimators in the nonparametric regression is proposed. The approach is based on the crossvalidation-type ...