Sciweavers

7139 search results - page 171 / 1428
» Language Engineering in Practice
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 10 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
LREC
2010
164views Education» more  LREC 2010»
15 years 7 months ago
Practical Evaluation of Speech Recognizers for Virtual Human Dialogue Systems
We perform a large-scale evaluation of multiple off-the-shelf speech recognizers across diverse domains for virtual human dialogue systems. Our evaluation is aimed at speech recog...
Xuchen Yao, Pravin Bhutada, Kallirroi Georgila, Ke...
AOSD
2006
ACM
16 years 12 days ago
Using aspects to support the software process: XP over Eclipse
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
Oren Mishali, Shmuel Katz
CLEF
2003
Springer
15 years 11 months ago
Quantum, a French/English Cross-Language Question Answering System
We describe a method for modifying a monolingual English question answering system to allow it to accept French questions. Our method relies on a statistical translation engine to ...
Luc Plamondon, George F. Foster
PEPM
1997
ACM
15 years 10 months ago
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
Tim Sheard