Sciweavers

1216 search results - page 3 / 244
» Translation analysis and translation automation
Sort
View
CHI
2009
ACM
13 years 9 months ago
Collaborative translation by monolingual users
This paper describes a research effort to support collaborative translation by monolingual speakers, or people that speak only the source or target language. I hypothesize that sh...
Chang Hu
CADE
2008
Springer
14 years 6 months ago
Certificate Translation
Gilles Barthe
SIGSOFT
2000
ACM
13 years 10 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
ICASSP
2011
IEEE
12 years 10 months ago
An analysis of machine translation and speech synthesis in speech-to-speech translation system
This paper provides an analysis of the impacts of machine translation and speech synthesis on speech-to-speech translation systems. The speech-to-speech translation system consist...
Kei Hashimoto, Junichi Yamagishi, William J. Byrne...
FLOPS
2001
Springer
13 years 10 months ago
A Higher-Order Colon Translation
Olivier Danvy, Lasse R. Nielsen