Sciweavers

1589 search results - page 286 / 318
» Constraints with Variables' Annotations
Sort
View
VLSISP
2008
132views more  VLSISP 2008»
13 years 8 months ago
Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...
CCE
2004
13 years 8 months ago
Efficient short-term scheduling of refinery operations based on a continuous time formulation
The problem addressed in this work is to develop a comprehensive mathematical programming model for the efficient scheduling of oil-refinery operations. Our approach is first to d...
Zhenya Jia, Marianthi G. Ierapetritou
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 8 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
CVIU
2004
96views more  CVIU 2004»
13 years 8 months ago
Image matching with scale adjustment
In this paper we address the problem of matching two images with two different resolutions: a high-resolution image and a low-resolution one. The difference in resolution between ...
Yves Dufournaud, Cordelia Schmid, Radu Horaud
INFORMS
2000
54views more  INFORMS 2000»
13 years 8 months ago
Time-Indexed Formulations for Machine Scheduling Problems: Column Generation
Time-indexed formulations for machine scheduling problems have received a great deal of attention; not only do the linear programming relaxations provide strong lower bounds, but ...
Marjan van den Akker, Cor A. J. Hurkens, Martin W....