Sciweavers

286 search results - page 13 / 58
» Playing the Minesweeper with Constraints
Sort
View
ENDM
2010
115views more  ENDM 2010»
13 years 4 months ago
On the knapsack closure of 0-1 Integer Linear Programs
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...
Matteo Fischetti, Andrea Lodi
CAISE
2010
Springer
13 years 2 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
EOR
2006
49views more  EOR 2006»
13 years 7 months ago
A game-theoretic formulation of joint implementation of environmental projects
The aim of this paper is to provide a game-theoretic interpretation of joint implementation in environmental projects and to assess the merit of such a strategy. More specifically...
Michèle Breton, Georges Zaccour, Mehdi Zaha...
VL
2003
IEEE
139views Visual Languages» more  VL 2003»
14 years 23 days ago
Visualizing design patterns with a UML profile
In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tag...
Jing Dong, Sheng Yang
DAC
2002
ACM
14 years 8 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer