Sciweavers

4352 search results - page 66 / 871
» A Representation Theorem and Applications
Sort
View
101
Voted
AAAI
1990
15 years 1 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
81
Voted
ICASSP
2011
IEEE
14 years 4 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
99
Voted
KI
2001
Springer
15 years 5 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...
90
Voted
IJCAI
2003
15 years 2 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
95
Voted
ICCAD
1994
IEEE
67views Hardware» more  ICCAD 1994»
15 years 4 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