1463 search results - page 31 / 293 » The State of the Art in Language Modeling |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
COLING
2008
13 years 8 months ago
2008
We propose a method to obtain subsentential alignments from several languages simultaneously. The method handles several languages at once, and avoids the complexity explosion due...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper gives an overview of the Caderige project. This project involves teams from different areas (biology, machine learning, natural language processing) in order to develop...