1424 search results - page 134 / 285 » The Multi-radius Cover Problem |
170
click to vote
GLVLSI
2007
IEEE
16 years 19 days ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
184
click to vote
ICDCSW
2007
IEEE
16 years 19 days 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...
195
click to vote
LICS
2006
IEEE
16 years 9 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...
151
click to vote
SAT
2004
Springer
15 years 11 months 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...
162
click to vote
CSCLP
2003
Springer
15 years 11 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...