4903 search results - page 336 / 981 » The Set Covering Machine |
158
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...
153
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...
195
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...
162
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...
156
click to vote
EMMCVPR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...