42230 search results - page 350 / 8446 » Algorithms and Complexity Results for |
189
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
145
Voted
STOC
1993
ACM
15 years 10 months ago
1993
ACM
d Abstract) Arthur W. Chou1 and Ker-I Ko2 March 9, 1993
188
click to vote
JMLR
2010
15 years 1 months ago
2010
Sequential algorithms of active learning based on the estimation of the level sets of the empirical risk are discussed in the paper. Localized Rademacher complexities are used in ...
199
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRPC...
197
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...