1437 search results - page 287 / 288 » Generalized Belief Propagation |
CORR
2012
Springer
12 years 2 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
VEE
2012
ACM
12 years 1 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
WSDM
2012
ACM
12 years 1 months ago
2012
ACM
One of the key objectives of viral marketing is to identify a small set of users in a social network, who when convinced to adopt a product will influence others in the network l...
KDD
2012
ACM
11 years 8 months ago
2012
ACM
Influential people have an important role in the process of information diffusion. However, there are several ways to be influential, for example, to be the most popular or the...
SDM
2012
SIAM
11 years 8 months ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...