4166 search results - page 18 / 834 » Automating the constraining process |
ANLP
1997
13 years 9 months ago
1997
We present the dialogue module of the speech-to-speech translation system VERBMOBIL. We follow the approach that the solution to dialogue processing in a mediating scenario can no...
CONCUR
2001
Springer
14 years 29 days ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
LISA
1996
13 years 9 months ago
1996
: Expect is a tool for automating interactive programs. Expect is controlled by writing Tcl scripts, traditionally a manual process. This paper describes Autoexpect
DATE
1999
IEEE
14 years 23 days ago
1999
IEEE
Commonly used scheduling algorithms in high-level synthesis only accept one process at a time and are not capable of sharing resources across process boundaries. This results in t...