53 search results - page 3 / 11 » cROVER: Improving ROVER using automatic error detection |
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...
ICMI
2007
Springer
14 years 1 months ago
2007
Springer
Automatic detection of communication errors in conversational systems has been explored extensively in the speech community. However, most previous studies have used only acoustic...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
In this paper, we propose a new method for automatically tracking the motion of local region in left ventricular myocardium by means of ultrasonic pulsed Doppler signal. This meth...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
Automatic Speech Recognition (ASR) systems continue to make errors during search when handling various phenomena including noise, pronunciation variation, and out of vocabulary (O...
ICMCS
2005
IEEE
14 years 29 days ago
2005
IEEE
Finding faces in visually challenging environments is crucial to many applications, such as audio-visual automatic speech recognition, video indexing, person recognition, and vide...