1096 search results - page 31 / 220 » Abstract Canonical Inference |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
102
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
BVAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Vision is a crucial sensor. It provides a very rich collection of information about our environment. However, not everything in a visual scene is relevant for the task at...
76
Voted
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
COLT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we unify divergence minimization and statistical inference by means of convex duality. In the process of doing so, we prove that the dual of approximate max...