Sciweavers

8094 search results - page 3 / 1619
» Improvements in Formula Generalization
Sort
View
CIMCA
2005
IEEE
13 years 10 months ago
Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference
Linear response formulas for the generalized belief propagation in approximate inference are derived by using generalized belief propagation. The linear response formulas can give...
Kazuyuki Tanaka
KR
2010
Springer
13 years 9 months ago
A Decidable Class of Groundable Formulas in the General Theory of Stable Models
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
Michael Bartholomew, Joohyung Lee
VMCAI
2012
Springer
12 years 16 days ago
A General Framework for Probabilistic Characterizing Formulae
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
Joshua Sack, Lijun Zhang
VTC
2008
IEEE
125views Communications» more  VTC 2008»
13 years 11 months ago
A General Formula for Log-MGF Computation: Application to the Approximation of Log-Normal Power Sum via Pearson Type IV Distribu
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
CORR
2009
Springer
79views Education» more  CORR 2009»
13 years 2 months ago
Characteristic Formulae for Fixed-Point Semantics: A General Framework
Luca Aceto, Anna Ingólfsdóttir, Josh...