667 search results - page 9 / 134 » On Various Negative Translations |
RTA
1999
Springer
15 years 1 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
BMCBI
2006
14 years 9 months ago
2006
The protein-protein interaction networks of even well-studied model organisms are sketchy at best, highlighting the continued need for computational methods to help direct experim...
MT
1998
14 years 9 months ago
1998
The first proposals for various component tools of what is now called the ‘translator’s workstation’ or ‘workbench’ are traced back to the 1970s and early 1980s in vario...
ACL
2012
13 years 2 days ago
2012
Statistical machine translation is often faced with the problem of combining training data from many diverse sources into a single translation model which then has to translate se...
91
Voted
COLING
2008
14 years 11 months ago
2008
This paper presents a general platform, namely synchronous tree sequence substitution grammar (STSSG), for the grammar comparison study in Translational Equivalence Modeling (TEM)...