886 search results - page 118 / 178 » From Detecting Errors to Automatically Correcting Them |
SIGMOD
2010
ACM
14 years 27 days ago
2010
ACM
Real-world databases often contain syntactic and semantic errors, in spite of integrity constraints and other safety measures incorporated into modern DBMSs. We present ERACER, an...
PICS
2003
13 years 9 months ago
2003
Device characterization typically involves generating one or more targets each comprising a number of color patches and making colorimetric measu...
BMCBI
2006
13 years 8 months ago
2006
Background: Genomic functional information is valuable for biomedical research. However, such information frequently needs to be extracted from the scientific literature and struc...
APGV
2010
ACM
13 years 12 months ago
2010
ACM
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...