1592 search results - page 5 / 319 » On the Equality of Probabilistic Terms |
TREC
2001
14 years 11 months ago
2001
AAAI
1990
14 years 10 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...
42
Voted
CORR
2010
Springer
14 years 7 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...
79
Voted
CVPR
2006
IEEE
15 years 11 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...