132 search results - page 4 / 27 » Axioms for Sequential Convergence |
FSTTCS
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
ICIP
1995
IEEE
14 years 11 months ago
1995
IEEE
While Bayesian methods can significantly improve the quality of tomographic reconstructions, they require the solution of large iterative optimization problems. Recent results ind...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
The problem of counting specified combinations of a given set of variables arises in many statistical and data mining applications. To solve this problem, we introduce the PDtree...
UAI
2008
13 years 11 months ago
2008
Inference problems in graphical models can be represented as a constrained optimization of a free energy function. It is known that when the Bethe free energy is used, the fixedpo...
ADCM
2011
13 years 4 months ago
2011
After a discussion on definability of invariant subdivision rules we discuss rules for sequential data living in Riemannian manifolds and in symmetric spaces, having in mind the s...