Sciweavers

5493 search results - page 6 / 1099
» Effectively Polynomial Simulations
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 23 days 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
15 years 6 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
49
Voted
WSC
2008
15 years 3 months ago
An approach for the effective utilization of GP-GPUS in parallel combined simulation
David W. Bauer, Matthew McMahon, Ernest H. Page
46
Voted
WSC
2004
15 years 2 months ago
A Simulation Methodology in Modeling Cell Divisions with Stochastic Effects
Harsha Karur Rajasimha, David C. Samuels, Richard ...
43
Voted
CORR
2008
Springer
74views Education» more  CORR 2008»
15 years 22 days 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