Sciweavers

2182 search results - page 123 / 437
» A Robust Algorithm for Solving Nonlinear Programming Problem...
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
AMAI
2004
Springer
14 years 1 months ago
Heuristics for a Brokering Set Packing Problem
In this paper we formulate the combinatorial auction brokering problem as a Set Packing Problem (SPP) and apply a simulated annealing heuristic to solve SPP. Experimental results ...
Yunsong Guo, Andrew Lim, Brian Rodrigues, Yi Zhu
CDC
2008
IEEE
148views Control Systems» more  CDC 2008»
14 years 2 months ago
Robust stabilization for arbitrarily switched linear systems with time-varying delays and uncertainties
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
Lixian Zhang, Peng Shi, Michael V. Basin
ILP
2004
Springer
14 years 1 months ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi
GPEM
2006
97views more  GPEM 2006»
13 years 7 months ago
Evolving recursive programs by using adaptive grammar based genetic programming
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...
Man Wong