Coupling Logical Analysis of Data and Shadow Clustering for partially defined Boolean function reconstruction (Articolo in rivista)

Type
Label
  • Coupling Logical Analysis of Data and Shadow Clustering for partially defined Boolean function reconstruction (Articolo in rivista) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/TKDE.2009.20 (literal)
Alternative label
  • M. Muselli, E. Ferrari (2011)
    Coupling Logical Analysis of Data and Shadow Clustering for partially defined Boolean function reconstruction
    in IEEE transactions on knowledge and data engineering (Print); IEEE Computer Society, Los Alamitos [CA] (Stati Uniti d'America)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Muselli, E. Ferrari (literal)
Pagina inizio
  • 37 (literal)
Pagina fine
  • 50 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 23 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • DOI: http://doi.ieeecomputersociety.org/10.1109/TKDE.2009.206 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 14 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 1 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • M. Muselli, E. Ferrari: Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni, Consiglio Nazionale delle Ricerche, Genova, Italy (literal)
Titolo
  • Coupling Logical Analysis of Data and Shadow Clustering for partially defined Boolean function reconstruction (literal)
Abstract
  • The problem of reconstructing the AND-OR expression of a partially defined positive Boolean function (pdpBf) is solved by adopting a novel algorithm, denoted by LSC, which combines the advantages of two efficient techniques, Logical Analysis of Data (LAD) and Shadow Clustering (SC). The kernel of the approach followed by LAD consists in a breadth-first enumeration of all the prime implicants whose degree is not greater than a fixed maximum d. In contrast, SC adopts an effective heuristic procedure for retrieving the most promising logical products to be included in the resulting AND-OR expression. Since the computational cost required by LAD prevents its application even for relatively small dimensions of the input domain, LSC employs a depth-first approach, with asymptotically linear memory occupation, to analyze the prime implicants having degree not greater than d. In addition, the theoretical analysis proves that LSC presents almost the same asymptotic time complexity as LAD. Extensive simulations on artificial benchmarks validate the good behavior of the computational cost exhibited by LSC, in agreement with the theoretical analysis. Furthermore, the pdpBf retrieved by LSC always shows a better performance, in terms of complexity and accuracy, with respect to those obtained by LAD. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it