Sciweavers

1566 search results - page 163 / 314
» On a Cone Covering Problem
Sort
View
PIMRC
2008
IEEE
15 years 11 months ago
A hierarchical structure based coverage repair in wireless sensor networks
—In this paper, we propose a new control method to cover “holes” in wireless sensor networks. Many applications often face the problem of holes when some sensor nodes are dis...
Jie Wu, Zhen Jiang
GLVLSI
2007
IEEE
139views VLSI» more  GLVLSI 2007»
15 years 10 months ago
Synthesis of irregular combinational functions with large don't care sets
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...
Valentin Gherman, Hans-Joachim Wunderlich, R. D. M...
ICDCSW
2007
IEEE
15 years 10 months ago
Modeling Data Consistency in Wireless Sensor Networks
— 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...
Kewei Sha, Weisong Shi
LICS
2006
IEEE
15 years 10 months ago
PSPACE Bounds for Rank-1 Modal Logics
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...
Lutz Schröder, Dirk Pattinson
SAT
2004
Springer
113views Hardware» more  SAT 2004»
15 years 9 months ago
Clause Form Conversions for Boolean Circuits
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...
Paul Jackson, Daniel Sheridan