1982 search results - page 293 / 397 » Parametricity and dependent types |
CCS
2000
ACM
15 years 2 months ago
2000
ACM
We describe a class of attacks that can compromise the privacy of users’ Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has ...
102
click to vote
CIKM
2000
Springer
15 years 2 months ago
2000
Springer
This paper discusses a new type of semi-supervised document clustering that uses partial supervision to partition a large set of documents. Most clustering methods organizes docum...
IUI
1999
ACM
15 years 2 months ago
1999
ACM
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
A text retrieval method called the thematic geographical search method has been developed and applied to a Japanese encyclopedia called the World Encyclopædia. In this method, th...
LCN
1999
IEEE
15 years 2 months ago
1999
IEEE
In Wireless ATM networks, user connections need to be rerouted during handoff as mobile users move among base stations. The rerouting of connections must be done quickly with mini...