Sciweavers

886 search results - page 1 / 178
» From Detecting Errors to Automatically Correcting Them
Sort
View
EACL
2006
ACL Anthology
13 years 6 months ago
From Detecting Errors to Automatically Correcting Them
Faced with the problem of annotation errors in part-of-speech (POS) annotated corpora, we develop a method for automatically correcting such errors. Building on top of a successfu...
Markus Dickinson
CAV
2000
Springer
97views Hardware» more  CAV 2000»
13 years 9 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ECTEL
2010
Springer
13 years 3 months ago
Learning from Erroneous Examples: When and How Do Students Benefit from Them?
We investigate whether erroneous examples in the domain of fractions can help students learn from common errors of other students presented in a computer-based system. Presenting t...
Dimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, ...
CACM
2008
131views more  CACM 2008»
13 years 5 months ago
Exterminator: Automatically correcting memory errors with high probability
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...
Gene Novark, Emery D. Berger, Benjamin G. Zorn
MLMI
2007
Springer
13 years 11 months ago
Automatic Labeling Inconsistencies Detection and Correction for Sentence Unit Segmentation in Conversational Speech
In conversational speech, irregularities in the speech such as overlaps and disruptions make it difficult to decide what is a sentence. Thus, despite very precise guidelines on how...
Sébastien Cuendet, Dilek Z. Hakkani-Tü...