667 search results - page 9 / 134 » On Various Negative Translations |
RTA
1999
Springer
15 years 5 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...
123
click to vote
BMCBI
2006
15 years 22 days 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...
77
Voted
MT
1998
15 years 10 days 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...
120
click to vote
ACL
2012
13 years 3 months 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...
117
Voted
COLING
2008
15 years 2 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)...