Sciweavers

3082 search results - page 315 / 617
» New Bounds for the Controller Problem
Sort
View
JAR
2000
90views more  JAR 2000»
15 years 6 months ago
Resolution versus Search: Two Strategies for SAT
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
Irina Rish, Rina Dechter
WALCOM
2010
IEEE
260views Algorithms» more  WALCOM 2010»
15 years 5 months ago
Constant-Work-Space Algorithm for a Shortest Path in a Simple Polygon
We present two space-efficient algorithms. First, we show how to report a simple path between two arbitrary nodes in a given tree. Using a technique called “computing instead of ...
Tetsuo Asano, Wolfgang Mulzer, Yajun Wang
PKDD
2010
Springer
169views Data Mining» more  PKDD 2010»
15 years 4 months ago
Efficient and Numerically Stable Sparse Learning
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
Sihong Xie, Wei Fan, Olivier Verscheure, Jiangtao ...
MP
2011
15 years 1 months ago
Null space conditions and thresholds for rank minimization
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...
Benjamin Recht, Weiyu Xu, Babak Hassibi
GECCO
2008
Springer
165views Optimization» more  GECCO 2008»
15 years 7 months ago
Dual-population genetic algorithm for nonstationary optimization
In order to solve nonstationary optimization problems efficiently, evolutionary algorithms need sufficient diversity to adapt to environmental changes. The dual-population genetic...
Taejin Park, Ri Choe, Kwang Ryel Ryu