886 search results - page 27 / 178 » From Detecting Errors to Automatically Correcting Them |
TASLP
2008
13 years 7 months ago
2008
Abstract--Motivated by potential applications in second-language pedagogy, we present a novel approach to using articulatory information to improve automatic detection of typical p...
CRV
2005
IEEE
14 years 1 months ago
2005
IEEE
Vanishing points provide valuable information regarding the camera model used to capture an image. To explore the relationship between classes of camera models and the location of...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Network coding increases throughput and is robust against failures and erasures. However, since it allows mixing of information within the network, a single corrupted packet genera...
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
When computing descriptors of image data, the type of information that can be extracted may be strongly dependent on the scales at which the image operators are applied. This arti...