3573 search results - page 316 / 715 » Reasoning about Codata |
133
click to vote
EACL
2009
ACL Anthology
16 years 5 months ago
2009
ACL Anthology
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...
128
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
132
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
118
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Can a system of distributed moderation quickly and consistently separate high and low quality comments in an online conversation? Analysis of the site Slashdot.org suggests that t...
150
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
To form a deep understanding of the present; we need to find and engage history. We present an informal history capture and retrieval mechanism for collaborative, earlystage infor...