4139 search results - page 448 / 828 » Designing and Implementing Combinator Languages |
219
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...
192
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
182
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
Our algorithm, ParaMor, fared well in Morpho Challenge 2007 (Kurimo et al., 2007), a peer operated competition pitting against one another algorithms designed to discover the morp...
236
click to vote
IUI
2003
ACM
16 years 26 days ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
223
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...