4117 search results - page 352 / 824 » On the Satisfiability of Complex Constraints |
193
click to vote
ADC
2003
Springer
16 years 3 days ago
2003
Springer
This paper proposes a novel way of automatically developing data warehouse configuration in rule-based CRM systems. Rule-based CRM systems assume that marketing activities are re...
181
click to vote
DBPL
2003
Springer
16 years 3 days ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
233
click to vote
WEA
2010
Springer
16 years 2 hour ago
2010
Springer
We investigate how the recently developed different approaches to generate randomized roundings satisfying disjoint cardinality constraints behave when used in two classical algori...
175
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
172
click to vote
ICA3PP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Deploying lightweight tasks on grid resources would let the communication overhead dominate the overall application processing time. Our aim is to increase the resulting ...