1592 search results - page 5 / 319 » On the Equality of Probabilistic Terms |
TREC
2001
13 years 9 months ago
2001
AAAI
1990
13 years 8 months ago
1990
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Image understanding requires not only individually estimating elements of the visual world but also capturing the interplay among them. In this paper, we provide a framework for p...