511 search results - page 84 / 103 » Spelling Correction Using Context |
118
Voted
DKE
2007
15 years 14 days ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
134
Voted
NAR
2006
15 years 13 days ago
2006
The Yeast Gene Order Browser (YGOB) is an online tool designed to facilitate the comparative genomic visualization and appraisal of synteny within and between the genomes of seven...
90
Voted
JCB
2007
15 years 12 days ago
2007
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
107
Voted
JSC
2010
14 years 11 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
136
Voted
AND
2010
14 years 10 months ago
2010
The goal of document image analysis is to produce interpretations that match those of a uent and knowledgeable human when viewing the same input. Because computer vision technique...