6328 search results - page 321 / 1266 » From Quantity to Quality |
181
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
We briefly survey several privacy compromises in published datasets, some historical and some on paper. An inspection of these suggests that the problem lies with the nature of the...
217
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
199
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern DRAM systems rely on memory controllers that employ out-of-order scheduling to maximize row access locality and bank-level parallelism, which in turn maximizes DRAM bandwid...
194
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We consider pricing secondary access to wireless spectrum in cellular CDMA networks. We study the case for a primary license holder interested in leasing the right of providing ...
167
click to vote
CIKM
2007
Springer
16 years 28 days ago
2007
Springer
Link analysis is a key technology in contemporary web search engines. Most of the previous work on link analysis only used information from one snapshot of web graph. Since commer...