2725 search results - page 399 / 545 » Constraint Solving for Interpolation |
142
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
126
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...
146
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Index tuning, i.e., selecting the indexes appropriate for a workload, is a crucial problem in database system tuning. In this paper, we solve index tuning for large problem instan...
170
click to vote
MP
2011
14 years 11 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very e...
167
click to vote
SIAMJO
2011
14 years 11 months ago
2011
This paper is concerned with the study of a class of prox-penalization methods for solving variational inequalities of the form Ax + NC (x) 0 where H is a real Hilbert space, A : H...