850 search results - page 42 / 170 » Constraint propagation on quadratic constraints |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper, adaptive control is presented for a class of parametric output feedback nonlinear systems with output constraint. Adaptive observer backstepping is adopted to ac...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
The combinatorial problem of decomposing an integer matrix into a small positive linear combination of binary matrices that have the consecutive-ones property arises in cancer rad...
CSCLP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
SNPD
2003
13 years 10 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
AIMSA
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...