Sciweavers

3221 search results - page 74 / 645
» Termination of Linear Programs
Sort
View
SAT
2005
Springer
104views Hardware» more  SAT 2005»
14 years 1 months ago
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simul...
Marijn Heule, Hans van Maaren
ICML
2003
IEEE
14 years 8 months ago
Linear Programming Boosting for Uneven Datasets
The paper extends the notion of linear programming boosting to handle uneven datasets. Extensive experiments with text classification problem compare the performance of a number o...
Jure Leskovec, John Shawe-Taylor
AAIM
2006
Springer
94views Algorithms» more  AAIM 2006»
13 years 11 months ago
Linear Programming Polytope and Algorithm for Mean Payoff Games
We investigate LP-polytopes generated by mean payoff games and their properties, including the existence of tight feasible solutions of bounded size. We suggest a new associated al...
Ola Svensson, Sergei G. Vorobyov
ORL
2007
66views more  ORL 2007»
13 years 7 months ago
Linear programming with online learning
We propose online decision strategies for time-dependent sequences of linear programs which use no distributional and minimal geometric assumptions about the data. These strategies...
Tatsiana Levina, Yuri Levin, Jeff McGill, Mikhail ...
PLDI
1994
ACM
14 years 1 days ago
The Program Structure Tree: Computing Control Regions in Linear Time
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
Richard Johnson, David Pearson, Keshav Pingali