5624 search results - page 289 / 1125 » On Conditional Covering Problem |
190
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
— With the rapid growth of wireless sensor systems deployment, data quality has become a critical issue to the success of these applications. In this paper, we first raise the d...
203
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
155
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
172
click to vote
CSCLP
2003
Springer
15 years 12 months ago
2003
Springer
This paper considers the issue of postprocessing the output of interval-based solvers for further exploitations when solving numerical CSPs with continuum of solutions. Most interv...
176
click to vote
ECP
1999
Springer
15 years 11 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...