4430 search results - page 64 / 886 » Solving Optimization Problems with DLL |
91
Voted
AAAI
2007
15 years 5 months ago
2007
In recent years, planning and scheduling research has paid increasing attention to problems that involve resource oversubscription, where cumulative demand for resources outstrips...
147
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
101
Voted
MOC
2002
15 years 2 months ago
2002
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
129
Voted
FLAIRS
2008
15 years 5 months ago
2008
We address the problem of computing an optimal value function for Markov decision processes. Since finding this function quickly and accurately requires substantial computation ef...
105
Voted
AAAI
2007
15 years 5 months ago
2007
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...