3591 search results - page 597 / 719 » Typing linear constraints |
163
Voted
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Mobile phones are becoming increasingly personalized in terms of the data they store and the types of services they provide. At the same time, field studies have reported that the...
143
Voted
KDD
2007
ACM
16 years 5 months ago
2007
ACM
Many important application areas of text classifiers demand high precision and it is common to compare prospective solutions to the performance of Naive Bayes. This baseline is us...
131
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
146
Voted
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
Broadcast authentication is an important application in sensor networks. Public Key Cryptography (PKC) is desirable for this application, but due to the resource constraints on se...
149
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...