7124 search results - page 1022 / 1425 » Programming Languages and Operating Systems |
162
click to vote
EMNLP
2010
15 years 2 months ago
2010
Minimum Error Rate Training is the algorithm for log-linear model parameter training most used in state-of-the-art Statistical Machine Translation systems. In its original formula...
117
click to vote
IALP
2009
15 years 2 months ago
2009
Persian is one of the Indo-European languages which has borrowed its script from Arabic, a member of Semitic language family. Since Persian and Arabic scripts are so similar, prob...
113
click to vote
ACL
2009
15 years 2 months ago
2009
We present a novel transition system for dependency parsing, which constructs arcs only between adjacent words but can parse arbitrary non-projective trees by swapping the order o...
167
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
170
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...