2656 search results - page 381 / 532 » Design and analysis of algorithms reconsidered |
181
Voted
DAS
2010
Springer
15 years 10 months ago
2010
Springer
A novel text extraction method from graphical document images is presented in this paper. Graphical document images containing text and graphics components are considered as two-d...
185
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
196
Voted
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
199
Voted
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
181
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...