2610 search results - page 263 / 522 » The Recognition Strategy Language |
155
click to vote
EMNLP
2009
15 years 4 months ago
2009
System combination has emerged as a powerful method for machine translation (MT). This paper pursues a joint optimization strategy for combining outputs from multiple MT systems, ...
295
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
192
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
163
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
181
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...