236 search results - page 4 / 48 » Strong normalization results by translation |
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
JSYML
2011
13 years 4 months ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
This paper provides an analysis of the impacts of machine translation and speech synthesis on speech-to-speech translation systems. The speech-to-speech translation system consist...
ACL
2012
12 years 6 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...
DYNAMO
2000
13 years 11 months ago
2000
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...