1286 search results - page 195 / 258 » From System F to Typed Assembly Language |
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
IWPT
2001
13 years 9 months ago
2001
This paper discusses the process of parsing adult utterances directed to a child, in an effort to produce a syntactically annotated corpus of the verbal input to a human language ...
EAAI
2007
13 years 7 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
TOPLAS
2008
13 years 7 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...