13383 search results - page 380 / 2677 » Abstractions from proofs |
183
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, we propose an approach to automatically detect sentiments on Twitter messages (tweets) that explores some characteristics of how tweets are written and meta-informa...
166
click to vote
JEI
2010
2010
Estimating reflectance from multispectral camera responses based on partial least-squares regression
15 years 1 months ago
Abstract. In multispectral imaging systems, the accuracy of reflectance estimation can be degraded by the nonlinearity in imaging process, which is due to non-Gaussian distribution...
195
click to vote
DIMVA
2011
14 years 10 months ago
2011
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
194
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
160
click to vote
ISW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...