1199 search results - page 35 / 240 » Parameterized Proof Complexity |
124
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
153
Voted
ACID
2006
15 years 3 months ago
2006
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
142
click to vote
SMI
2010
IEEE
15 years 26 days ago
2010
IEEE
—Volumetric parameterization plays an important role for geometric modeling. Due to the complicated topological nature of volumes, it is much more challenging than the surface ca...
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
119
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Many model predictive control (MPC) schemes suffer from high computational complexity. Especially robust MPC schemes, which explicitly account for the effects of disturbances, can ...