96 search results - page 4 / 20 » A Dynamic Approach for Automatic Error Detection in Generati... |
MT
2002
13 years 7 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
IAT
2005
IEEE
14 years 1 months ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
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...
IJSN
2008
13 years 7 months ago
2008
: Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we consider two competing approaches t...