4524 search results - page 17 / 905 » The Complexity of Global Constraints |
116
click to vote
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
124
click to vote
CLEIEJ
2006
15 years 13 days ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
CLEIEJ
2006
15 years 13 days ago
2006
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experiment...
97
Voted
IJCAI
2003
15 years 1 months ago
2003
In data-integration systems, information sources often have various constraints such as “all houses stored at a source have a unique address.” These constraints are very usefu...
91
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...