Sciweavers

2702 search results - page 132 / 541
» constraints 2008
Sort
View
CP
2008
Springer
15 years 8 months ago
A Branch and Bound Algorithm for Numerical MAX-CSP
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
Jean-Marie Normand, Alexandre Goldsztejn, Marc Chr...
AIPRF
2008
15 years 8 months ago
Internal vs. External Parameters in Fitness Functions
A fitness function is needed for a Genetic Algorithm (GA) to work, and it appears natural that the combination of objectives and constraints into a single scalar function using ar...
Pedro A. Diaz-Gomez, Dean F. Hougen
COR
2006
79views more  COR 2006»
15 years 6 months ago
Sweep synchronization as a global propagation mechanism
This paper presents a new generic filtering algorithm which simultaneously considers n conjunctions of constraints as well as those constraints mentioning some variables Yk of the...
Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
IEE
1998
102views more  IEE 1998»
15 years 6 months ago
Visualising action contracts in object-oriented modelling
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
Stuart Kent, Joseph Gil
PVLDB
2010
151views more  PVLDB 2010»
15 years 4 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...