711 search results - page 122 / 143 » Amalgams of Constraint Satisfaction Problems |
CPAIOR
2009
Springer
15 years 6 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
136
click to vote
CIMCA
2006
IEEE
15 years 5 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
101
click to vote
BMVC
2002
15 years 2 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...
SPLC
2008
15 years 1 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
107
click to vote
AAAI
1996
15 years 1 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...