3116 search results - page 504 / 624 » Positively dependent types |
178
click to vote
WRLA
2010
15 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
156
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
199
click to vote
EMNLP
2010
15 years 4 months ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
179
click to vote
GCB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract: Investigations into the origins and evolution of regulatory mechanisms require quantitative estimates of the abundance and co-occurrence of functional protein domains amo...
179
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...