Sciweavers

4352 search results - page 66 / 871
» A Representation Theorem and Applications
Sort
View
AAAI
1990
15 years 7 months ago
Tree Decomposition with Applications to Constraint Processing
This paper concerns the task of removing redundant information from a given knowledge base, and restructuring it in the form of a tree, so as to admit efficient problem solving ro...
Itay Meiri, Judea Pearl, Rina Dechter
ICASSP
2011
IEEE
14 years 9 months ago
Extension of the Global Matched Filter to structured groups of atoms: Application to harmonic signals
When seeking a sparse representation of a signal on a redundant basis, one might want to convey available a priori information on the observations to the optimization criterion. I...
Jean-Jacques Fuchs
KI
2001
Springer
15 years 10 months ago
DiKe - A Model-Based Diagnosis Kernel and Its Application
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr...
IJCAI
2003
15 years 7 months ago
Corpus-Based Knowledge Representation
A corpus-based knowledge representation system consists of a large collection of disparate knowledge fragments or schemas, and a rich set of statistics computed over the corpus. W...
Alon Y. Halevy, Jayant Madhavan
ICCAD
1994
IEEE
67views Hardware» more  ICCAD 1994»
15 years 10 months ago
The reproducing placement problem with applications
We study a new placement problem: the reproducing placement problem (RPP). In each phase a module (or gate) is decomposed into two (or more) simpler modules. The goal is nd a \go...
Wei-Liang Lin, Majid Sarrafzadeh, Chak-Kuen Wong