7124 search results - page 1022 / 1425 » Programming Languages and Operating Systems |
193
click to vote
EMNLP
2010
15 years 4 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...
152
click to vote
IALP
2009
15 years 4 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...
152
click to vote
ACL
2009
15 years 4 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...
211
click to vote
POPL
2010
ACM
16 years 4 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...
204
click to vote
VMCAI
2004
Springer
16 years 5 days 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 ...