7092 search results - page 1018 / 1419 » Parallelizing constraint programs |
163
click to vote
MOR
2002
15 years 6 months ago
2002
We present a polyhedral study of the complementarity knapsack problem. Traditionally, complementarity constraints are modeled by introducing auxiliary binary variables and additio...
200
click to vote
JOT
2010
15 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
175
click to vote
PSD
2010
Springer
15 years 5 months ago
2010
Springer
Minimum-distance controlled tabular adjustment methods (CTA), and its restricted variants (RCTA), is a recent perturbative approach for tabular data protection. Given a table to be...
167
click to vote
TASLP
2010
15 years 5 months ago
2010
—Many important audio coding applications, such as streaming and playback of stored audio, involve offline compression. In such scenarios, encoding delays no longer represent a ...
178
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...