488 search results - page 93 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...
DILS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...
KDD
2012
ACM
11 years 11 months ago
2012
ACM
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
MM
2005
ACM
14 years 2 months ago
2005
ACM
This paper is devoted to explore media correlation and media synchronization in a composite multimedia document, the so-called navigated hypermedia document in our language learni...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Behavioral targeting (BT) leverages historical user behavior to select the ads most relevant to users to display. The state-of-the-art of BT derives a linear Poisson regression mo...