667 search results - page 17 / 134 » On Various Negative Translations |
ACL
2003
14 years 11 months ago
2003
Often, the training procedure for statistical machine translation models is based on maximum likelihood or related criteria. A general problem of this approach is that there is on...
NAACL
1994
14 years 11 months ago
1994
Current MT systems, whatever translation method they at present employ, do not reach an optimum output on free text. Our hypothesis for the experiment reported in this paper is th...
COLING
1992
14 years 11 months ago
1992
Within the industrial context of the information society, technical translation represents a considerable commercial stake. In the light of this, machine translation is considered...
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
BSL
1999
14 years 9 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...