5138 search results - page 930 / 1028 » Randomized Algorithms for 3-SAT |
131
Voted
JAIR
2011
14 years 8 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
142
click to vote
MP
2011
14 years 8 months ago
2011
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in machine learning, control theory, and discrete geometry. This c...
215
click to vote
NECO
2011
14 years 8 months ago
2011
Accurately evaluating statistical independence among random variables is a key element of Independent Component Analysis (ICA). In this paper, we employ a squared-loss variant of ...
132
click to vote
TCBB
2011
14 years 8 months ago
2011
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
132
click to vote
TSP
2011
14 years 8 months ago
2011
—This paper proposes a technique for motion estimation of groups of targets based on evolving graph networks. The main novelty over alternative group tracking techniques stems fr...