2496 search results - page 229 / 500 » On covering by translates of a set |
164
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...
149
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...
147
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...
190
click to vote
ICDCSW
2007
IEEE
16 years 29 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...
155
click to vote
ISVLSI
2007
IEEE
16 years 28 days 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...