7868 search results - page 1543 / 1574 » Learning by Answer Sets |
164
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We introduce Doppelganger, a novel system for creating and enforcing fine-grained, privacy preserving browser cookie policies with low manual effort. Browser cookies pose privacy ...
144
click to vote
COCO
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of finding a monomial (or a term) that maximizes the agreement rate with a given set of examples over the Boolean hypercube. The problem is motivated by le...
167
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Many serious automobile accidents could be avoided if drivers were warned of impending crashes before they occur. Creating such warning systems by hand, however, is a difficult an...
161
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
190
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...