226 search results - page 44 / 46 » GAC on Conjunctions of Constraints |
ICDT
2003
ACM
14 years 20 days ago
2003
ACM
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...
TMM
2002
13 years 7 months ago
2002
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
– In this paper we perform an experimental investigation of the IEEE 802.11e TXOP facility to enhance the transmission of parallel multimedia streaming sessions through efficient...