10715 search results - page 130 / 2143 » From Tests to Proofs |
AAAI
2007
14 years 2 hour ago
2007
We investigate the impact of time on the predictability of sentiment classification research for models created from web logs. We show that sentiment classifiers are time dependen...
TAICPART
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...
CRYPTO
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
In this paper, we describe work-in-progress in comparing user satisfaction ratings after user tests with ratings obtained following actual use of a digital music library software....