6274 search results - page 918 / 1255 » Proofs, Programs, Processes |
168
Voted
ICCPOL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
114
click to vote
IFL
2001
Springer
15 years 7 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
136
click to vote
NIME
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
115
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
132
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...