2864 search results - page 237 / 573 » Constraint Programming in OPL |
119
click to vote
SODA
1998
ACM
15 years 5 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
142
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
133
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
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...
128
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
158
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...