4695 search results - page 399 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
177
Voted
ACIVS
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we present a recursive algorithm for the cleaning and the enhancing of historical documents. Most of the algorithms, used to clean and enhance documents or transform ...
214
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
177
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
183
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
The CancerGrid consortium is developing openstandards cancer informatics to address the challenges posed by modern cancer clinical trials. This paper presents the service-oriented...
207
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...