Sciweavers

10715 search results - page 130 / 2143
» Proofs from Tests
Sort
View
AAAI
2007
14 years 1 months ago
The Impact of Time on the Accuracy of Sentiment Classifiers Created from a Web Log Corpus
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...
Kathleen T. Durant, Michael D. Smith
TAICPART
2010
IEEE
173views Education» more  TAICPART 2010»
13 years 9 months ago
DOM Transactions for Testing JavaScript
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...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
14 years 5 months ago
Simulatable VRFs with Applications to Multi-theorem NIZK
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
Melissa Chase, Anna Lysyanskaya
CSFW
2010
IEEE
14 years 2 months ago
Constraining Credential Usage in Logic-Based Access Control
—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...
Lujo Bauer, Limin Jia, Divya Sharma
CHI
2003
ACM
14 years 11 months ago
Predicting user satisfaction from subject satisfaction
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....
Margaret B. Swan, Mark Notess