✦ LIBER ✦

A general scheme for automatic generation of search heuristics from specification dependencies

✍ Scribed by Kalev Kask; Rina Dechter

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 396 KB
Volume: 129
Category: Article
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(01)00107-2

No coin nor oath required. For personal study only.

✦ Synopsis

The paper presents and evaluates the power of a new scheme that generates search heuristics mechanically for problems expressed using a set of functions or relations over a finite set of variables. The heuristics are extracted from a parameterized approximation scheme called Mini-Bucket elimination that allows controlled trade-off between computation and accuracy. The heuristics are used to guide Branch-and-Bound and Best-First search. Their performance is compared on two optimization tasks: the Max-CSP task defined on deterministic databases and the Most Probable Explanation task defined on probabilistic databases. Benchmarks were random data sets as well as applications to coding and medical diagnosis problems. Our results demonstrate that the heuristics generated are effective for both search schemes, permitting controlled trade-off between preprocessing (for heuristic generation) and search.

📜 SIMILAR VOLUMES

A scheme for the automatic generation of

A scheme for the automatic generation of triangular finite elements

✍ Edward A. Sadek 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB 👁 1 views

A scheme for automatic generation of bou

A scheme for automatic generation of boundary-fitted depth- and depth-gradient- dependent grids in arbitrary two-dimensional regions

✍ Per Nielsen; Ove Skovgaard 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 632 KB

A theoretical scheme for generation of G

A theoretical scheme for generation of Gazeau–Klauder coherent states via intensity-dependent degenerate Raman interaction

✍ F. Yadollahi; M.K. Tavassoly 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 205 KB

A theoretical scheme is presented for generating Gazeau-Klauder coherent states (GKCSs) via the generalization of degenerate Raman interaction with coupling constant to intensity dependent coupling. Firstly, we prove that in the intensity dependent degenerate Raman interaction, under particular cond

Telescoping Languages: A Strategy for Au

Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries

✍ Ken Kennedy; Bradley Broom; Keith Cooper; Jack Dongarra; Rob Fowler; Dennis Gann 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 224 KB

General purpose model and a computer pro

General purpose model and a computer program for combined segregation and path analysis (SEGPATH): Automatically creating computer programs from symbolic language model specifications

✍ Michael A. Province; D. C. Rao 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 949 KB

A general purpose model and a flexible computer program, called SEGPATH, have been developed to assist in the creation and implementation of a variety of genetic epidemiological models. SEGPATH is a computer program which can be used to generate programs to implement linear models for pedigree data,

Uncompromised generation of a specific H

Uncompromised generation of a specific H-2DM-dependent peptide-MHC class II complex from exogenous antigen in Leishmania mexicana-infected dendritic cells

✍ Clare L. Bennett; Lisa Colledge; Hannah E. Richards; Philip A. Reay; C. Clare Bl 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 288 KB 👁 1 views