Sciweavers

1378 search results - page 39 / 276
» The Tractability of Global Constraints
Sort
View
JDM
2006
77views more  JDM 2006»
15 years 1 months ago
Semantic Integrity Constraint Checking for Multiple XML Databases
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...
Praveen Madiraju, Rajshekhar Sunderraman, Shamkant...
AICOM
2004
92views more  AICOM 2004»
15 years 1 months ago
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...
Berthe Y. Choueiry, Lin Xu
CP
2004
Springer
15 years 5 months ago
Unary Resource Constraint with Optional Activities
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
Petr Vilím, Roman Barták, Ondrej Cep...
CP
2007
Springer
15 years 8 months ago
Constraint-Based Temporal Reasoning for E-Learning with LODE
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
Rosella Gennari, Ornella Mich
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 2 months ago
Decomposition of the NVALUE constraint
We study decompositions of the global NVALUE constraint. Our main contribution is theoretical: we show that there are propagators for global constraints like NVALUE which decomposi...
Christian Bessiere, George Katsirelos, Nina Narody...