Sciweavers

1421 search results - page 32 / 285
» Satisfying KBO Constraints
Sort
View
CP
2007
Springer
14 years 2 months ago
A Compression Algorithm for Large Arity Extensional Constraints
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
George Katsirelos, Toby Walsh
COLCOM
2005
IEEE
14 years 1 months ago
Maintaining multi-way dataflow constraints in collaborative systems
Multi-way dataflow constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE systems, but satisfying multi-way dataflow cons...
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng S...
AAAI
2007
13 years 10 months ago
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and servic...
Daria Terekhov, J. Christopher Beck, Kenneth N. Br...
ICCBR
2009
Springer
14 years 2 months ago
Belief Merging-Based Case Combination
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
Julien Cojan, Jean Lieber
VLDB
1993
ACM
113views Database» more  VLDB 1993»
14 years 5 days ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota