667 search results - page 1 / 134 » On Various Negative Translations |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referre...
CLEF
2005
Springer
13 years 10 months ago
2005
Springer
EMNLP
2009
13 years 2 months ago
2009
Current statistical machine translation (SMT) systems are trained on sentencealigned and word-aligned parallel text collected from various sources. Translation model parameters ar...
LREC
2010
13 years 6 months ago
2010
Statistical machine translation to morphologically richer languages is a challenging task and more so if the source and target languages differ in word order. Current state-of-the...
AAIM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we study the computational problem of arbitrage in a frictional market with a finite number of bonds and finite and discrete times to maturity. Types of f...