4743 search results - page 264 / 949 » The PlusCal Algorithm Language |
93
Voted
ANLP
2000
15 years 5 months ago
2000
Many corpus-based machine translation systems require parallel corpora. In this paper, we present a word-for-word glossing algorithm that requires only a source language corpus. T...
115
Voted
WSC
1997
15 years 5 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
127
Voted
ENTCS
2006
15 years 3 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
129
Voted
LOGCOM
2008
15 years 3 months ago
2008
This paper defines the grammar class of sequentially indexed grammars (SIGs) that results of a change in the index stack handling mechanism of indexed grammars [Aho68, Aho69]. SIG...
140
Voted
JSAC
2006
15 years 3 months ago
2006
A systematic understanding of the decomposability structures in network utility maximization is key to both resource allocation and functionality allocation. It helps us obtain the...