8947 search results - page 358 / 1790 » Improving software quality |
178
click to vote
LREC
2008
15 years 8 months ago
2008
In current phrase-based Statistical Machine Translation systems, more training data is generally better than less. However, a larger data set eventually introduces a larger model ...
196
click to vote
DICTA
2003
15 years 8 months ago
2003
The deblurring of Gaussian blur by inverting the action of the diffusion equation has long been known. This technique is interesting but without much practical application since th...
158
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Scanned halftone images are degraded for the presence of screen patterns. It’s a challenge to automatically detect the halftone images and remove the noises on the fly. This pap...
164
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: We introduce GASH, a new, publicly accessible program for structural alignment and superposition. Alignments are scored by the Number of Equivalent Residues (NER), a q...
179
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...