5410 search results - page 988 / 1082 » When to Cross Over |
94
Voted
FPCA
1989
15 years 4 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
80
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Due to inherent privacy concerns, online personalization services such as those offered through toolbars and desktop widgets are characterized by "no-free-disposal" (NFD...
101
click to vote
AFRICACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
128
click to vote
AIME
2009
Springer
15 years 4 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
101
Voted
ANCS
2007
ACM
15 years 4 months ago
2007
ACM
Session Initiation Protocol (SIP) has begun to be widely deployed for multiple services such as VoIP, Instant Messaging and Presence. Each of these services uses different SIP mes...