15421 search results - page 3065 / 3085 » Dependability |
110
click to vote
PLDI
2011
ACM
14 years 16 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
SCIENTOMETRICS
2011
14 years 15 days ago
2011
Abstract We studied the effect on journal impact factors (JIF) of citations from documents labeled as articles and reviews (usually peer reviewed) versus citations coming from othe...
SDM
2011
SIAM
14 years 15 days ago
2011
SIAM
The problem of monitoring a multivariate linear regression model is relevant in studying the evolving relationship between a set of input variables (features) and one or more depe...
119
click to vote
SIGIR
2011
ACM
14 years 15 days ago
2011
ACM
Traditional recommendation algorithms often select products with the highest predicted ratings to recommend. However, earlier research in economics and marketing indicates that a ...
104
click to vote
SIGMOD
2011
ACM
14 years 15 days ago
2011
ACM
Differential privacy is a powerful tool for providing privacypreserving noisy query answers over statistical databases. It guarantees that the distribution of noisy query answers...