5550 search results - page 961 / 1110 » Different Approaches to Proof Systems |
219
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
218
click to vote
NDSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we address the problem of secure communication and authentication in ad-hoc wireless networks. This is a difficult problem, as it involves bootstrapping trust betwe...
181
click to vote
WETICE
2002
IEEE
15 years 11 months ago
2002
IEEE
Networks of wireless microsensors for monitoring physical environments have emerged as an important new application area for the wireless technology. Key attributes of these new t...
166
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of learning a record matching package (classifier) in an active learning setting. In active learning, the learning algorithm picks the set of examples to ...
168
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
Collaborative tagging applications have become a popular tool allowing Internet users to manage online resources with tags. Most collaborative tagging applications permit unsuperv...