2496 search results - page 229 / 500 » On covering by translates of a set |
177
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Scale-free networks are believed to closely model most real-world networks. An interesting property of such networks is the existence of so-called hub and community structures. In...
179
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
170
click to vote
ENC
2007
IEEE
16 years 1 months ago
2007
IEEE
Searchius is a collaborative search engine that produces search results based solely on user provided web-related data. We discuss the architecture of this system and how it compa...
217
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...
170
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...