5995 search results - page 1121 / 1199 » Algorithmic Game Theory |
103
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
137
click to vote
RECSYS
2010
ACM
15 years 1 months ago
2010
ACM
Recommendation systems suggest items based on user preferences. Collaborative filtering is a popular approach in which recommending is based on the rating history of the system. O...
122
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
124
click to vote
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
Modern storage systems use thousands of inexpensive disks to meet the storage requirement of applications. To enhance the data availability, some form of redundancy is used. For e...
118
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...