15421 search results - page 254 / 3085 » Dependability |
140
Voted
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
178
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Knowledge plays a central role in intelligent systems. Manual knowledge acquisition is very inefficient and expensive. In this paper, we present (1) an automatic method to acquire...
187
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...
163
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...