7139 search results - page 421 / 1428 » Language Engineering in Practice |
232
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
253
click to vote
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
207
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
209
click to vote
BMCBI
2007
15 years 7 months ago
2007
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...
184
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...