27119 search results - page 381 / 5424 » Languages |
153
click to vote
IJAC
2010
15 years 4 months ago
2010
We explicitly construct Markov languages of normal forms for the groups in the title of the paper and closely related groups. A Markov language of normal forms is a choice of &quo...
184
click to vote
ACL
2011
14 years 10 months ago
2011
We present an SCFG binarization algorithm that combines the strengths of early terminal matching on the source language side and early language model integration on the target lan...
265
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
261
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
178
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...