3408 search results - page 319 / 682 » Logic, language, information and computation |
147
click to vote
COLING
2002
15 years 6 months ago
2002
A machine translation model has been proposed where an input is translated through both source-language and target-language paraphrasing processes. We have implemented our prototy...
198
Voted
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
196
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
161
click to vote
PLDI
2006
ACM
16 years 22 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
165
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...