3591 search results - page 90 / 719 » Typing linear constraints |
111
Voted
AUTOMATICA
2002
15 years 18 days ago
2002
Conventional MPC uses quadratic programming (QP) to minimise, on-line, a cost over n linearly constrained control moves. However, stability constraints often require the use of la...
204
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
111
Voted
TSP
2008
15 years 19 days ago
2008
This paper proposes a hierarchical Bayesian model that can be used for semi-supervised hyperspectral image unmixing. The model assumes that the pixel reflectances result from linea...
103
Voted
ACTA
2002
15 years 18 days ago
2002
In the constraint database community, FO+poly and FO+linear have been proposed as foundations for spatial database query languages. One of the strengths of this approach is that t...
90
Voted
COR
2011
14 years 7 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...