86 search results - page 7 / 18 » Priority Rewrite Systems for OSOS Process Languages |
CLEF
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
INAP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
TSD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper brings together the development of the first Text-toSpeech (TTS) system for Sinhala using the Festival framework and practical applications of it. Construction...
ANLP
2000
13 years 8 months ago
2000
We empirically show that there are significant differences between the discourse structure of Japanese texts and the discourse structure of their corresponding English translation...
JUCS
2006
13 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...