568 search results - page 84 / 114 » A Machine Translation System for the Target Language Inexper... |
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
COMPUTER
2004
14 years 11 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
177
click to vote
CC
2009
Springer
16 years 10 days ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
EMNLP
2008
15 years 1 months ago
2008
The alignment problem--establishing links between corresponding phrases in two related sentences--is as important in natural language inference (NLI) as it is in machine translati...
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...