1424 search results - page 134 / 285 » The Multi-radius Cover Problem |
131
click to vote
GLVLSI
2007
IEEE
15 years 9 months 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...
146
Voted
ICDCSW
2007
IEEE
15 years 9 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...
151
click to vote
LICS
2006
IEEE
15 years 9 months 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...
113
click to vote
SAT
2004
Springer
15 years 8 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...
127
click to vote
CSCLP
2003
Springer
15 years 8 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...