Sciweavers

NAACL
2007
14 years 9 days ago
A Comparison of Pivot Methods for Phrase-Based Statistical Machine Translation
We compare two pivot strategies for phrase-based statistical machine translation (SMT), namely phrase translation and sentence translation. The phrase translation strategy means t...
Masao Utiyama, Hitoshi Isahara
FM
2006
Springer
148views Formal Methods» more  FM 2006»
14 years 2 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti