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
A unifying framework for trie design heuristics
β Scribed by Owen Murphy
- Publisher
- Elsevier Science
- Year
- 1990
- Tongue
- English
- Weight
- 556 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
We discuss a wide range of matching problems in terms of a network flow model. More than this, we start up a matching theory which is very intuitive and independent from the original graph context. This first paper contains a standardized theory for the performance analysis of augmentation algorithm
Progressive coding is a desirable feature for image database telebrowsing or image transmissions over low bandwidth channels. Furthermore, for some applications, exact image reconstruction is required. In this paper, we show that most of the lossless and progressive coders can be described by a comm