2168 search results - page 367 / 434 » Using Approximation Hardness to Achieve Dependable Computati... |
132
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...
115
Voted
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
Power dissipation is unevenly distributed in modern microprocessors leading to localized hot spots with significantly greater die temperature than surrounding cooler regions. Exc...
109
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
151
Voted
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents two metrics for the Nearest Neighbor Classifier that share the property of being adapted, i.e. learned, on a set of data. Both metrics can be used for similari...
129
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...