15073 search results - page 379 / 3015 » Probabilistic algorithms for computing resultants |
145
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
174
click to vote
FSTTCS
2007
Springer
16 years 5 days ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...
163
click to vote
TASLP
2010
15 years 4 months ago
2010
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
183
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly pro...
148
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Feature selection is used to improve performance of learning algorithms by finding a minimal subset of relevant features. Since the process of feature selection is computationally ...