Sciweavers

5493 search results - page 6 / 1099
» Effectively Polynomial Simulations
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 7 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
CP
2007
Springer
16 years 1 months ago
Limitations of Restricted Branching in Clause Learning
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
Matti Järvisalo, Tommi A. Junttila
113
Voted
WSC
2004
15 years 8 months ago
A Simulation Methodology in Modeling Cell Divisions with Stochastic Effects
Harsha Karur Rajasimha, David C. Samuels, Richard ...
110
Voted
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 7 months ago
Analysis of the Karmarkar-Karp Differencing Algorithm
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and stat...
Stefan Boettcher, Stephan Mertens