𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A unified framework for structure identification

✍ Scribed by Bruno Zanuttini; Jean-Jacques Hébrard

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
74 KB
Volume
81
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

We propose a general framework for structure identification, as defined by Dechter and Pearl. It is based on the notion of prime implicate, and handles Horn, bijunctive and affine, as well as Horn-renamable formulas, for which, to our knowledge, no polynomial algorithm has been proposed before. This framework, although quite general, gives good complexity results, and in particular we get for Horn formulas the same running time and better output size than the algorithms previously known.

📜 SIMILAR VOLUMES

A unified tensor framework for face reco
A unified tensor framework for face recognition
✍ Santu Rana; Wanquan Liu; Mihai Lazarescu; Svetha Venkatesh 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 248 KB

In this paper we propose a new optimization framework that unites some of the existing tensor based methods for face recognition on a common mathematical basis. Tensor based approaches rely on the ability to decompose an image into its constituent factors (i.e. person, lighting, viewpoint, etc.) and

Bucket elimination: A unifying framework
Bucket elimination: A unifying framework for reasoning
✍ Rina Dechter 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 435 KB

Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolution for propositional satisfiability, adaptive-consistency for constraint satisfaction, Fourier and Gaussian elimination