1743 search results - page 178 / 349 » Language resources for Hebrew |
144
click to vote
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
In this paper we compare and contrast two approaches to Machine Translation (MT): the CMU-UKA Syntax Augmented Machine Translation system (SAMT) and UPC-TALP N-gram-based Statisti...
135
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
141
Voted
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
In practice, lexical chains are typically built using term reiteration or resource-based measures of semantic distance. The former approach misses out on a significant portion of ...
118
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
145
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...