601 search results - page 53 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
107
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
121
click to vote
PPSN
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
129
click to vote
COR
2007
15 years 1 months ago
2007
We present a framework for solving multistage pure 0–1 programs for a widely used sequencing and scheduling problem with uncertainty in the objective function coefficients, the...
109
click to vote
IOR
2010
14 years 10 months ago
2010
The paper considers a stylized model of a dynamic assortment optimization problem, where given a limited capacity constraint, we must decide the assortment of products to offer to...
125
click to vote
CSCLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...