886 search results - page 91 / 178 » From Detecting Errors to Automatically Correcting Them |
LREC
2008
13 years 9 months ago
2008
This paper describes Eksairesis, a system for learning economic domain knowledge automatically from Modern Greek text. The knowledge is in the form of economic terms and the seman...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
BMCBI
2008
13 years 8 months ago
2008
Background: Single nucleotide polymorphisms (SNPs) are the most commonly studied units of genetic variation. The discovery of such variation may help to identify causative gene mu...
MICCAI
2009
Springer
14 years 5 months ago
2009
Springer
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...