Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams
Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision dia...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 147 |
|---|---|
| container_issue | |
| container_start_page | 142 |
| container_title | |
| container_volume | |
| creator | Stankovic, M. Stojkovic, S. Stankovic, R. S. |
| description | Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram. |
| doi_str_mv | 10.1109/ISMVL.2012.38 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6214798</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6214798</ieee_id><sourcerecordid>6214798</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-b0f56ff96f5043e8e3194009da52163eb4dca6d87a5e8e0f4df79e07e29d537e3</originalsourceid><addsrcrecordid>eNotjs1PwjAYxutXIiBHT176Dwzftmu7HhVESUZMRIk3Uta3pGZsyzoO_PcM9fQkz8cvDyH3DCaMgXlcrJbrfMKB8YnILsgQtDIyVVrAJRlwobOEc66uyNjojP36BjK4JgNgRiaKi-9bMozxB4AD1zAgzQc2LUasOtuFuqK1p4uqqPdNiR2WR7pqsAg-oKPPobLtkdrK0eWh7ELfSNa2PPRRXu9CQeeHqjgzIt0e6bRH2KKjs34ez-BZsLvW7uMdufG2jDj-1xH5mr98Tt-S_P11MX3Kk8C07JIteKm8N8pLSAVmKJhJAYyzkjMlcJu6wiqXaSv7EHzqvDYIGrlxUmgUI_Lwxw2IuGnasO_fbxRnqTaZOAF3c18R</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Stankovic, M. ; Stojkovic, S. ; Stankovic, R. S.</creator><creatorcontrib>Stankovic, M. ; Stojkovic, S. ; Stankovic, R. S.</creatorcontrib><description>Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.</description><identifier>ISSN: 0195-623X</identifier><identifier>ISBN: 9781467309080</identifier><identifier>ISBN: 1467309087</identifier><identifier>EISSN: 2378-2226</identifier><identifier>EISBN: 0769546730</identifier><identifier>EISBN: 9780769546735</identifier><identifier>DOI: 10.1109/ISMVL.2012.38</identifier><language>eng</language><publisher>IEEE</publisher><subject>compact represetation ; Correlation ; Data structures ; Decision diagrams ; Encoding ; Incompletely specified logic functions ; Logic functions ; Transforms ; Vectors</subject><ispartof>2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012, p.142-147</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6214798$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>310,311,781,785,790,791,2059,27930,54925</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6214798$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Stankovic, M.</creatorcontrib><creatorcontrib>Stojkovic, S.</creatorcontrib><creatorcontrib>Stankovic, R. S.</creatorcontrib><title>Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams</title><title>2012 IEEE 42nd International Symposium on Multiple-Valued Logic</title><addtitle>ismvl</addtitle><description>Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.</description><subject>compact represetation</subject><subject>Correlation</subject><subject>Data structures</subject><subject>Decision diagrams</subject><subject>Encoding</subject><subject>Incompletely specified logic functions</subject><subject>Logic functions</subject><subject>Transforms</subject><subject>Vectors</subject><issn>0195-623X</issn><issn>2378-2226</issn><isbn>9781467309080</isbn><isbn>1467309087</isbn><isbn>0769546730</isbn><isbn>9780769546735</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjs1PwjAYxutXIiBHT176Dwzftmu7HhVESUZMRIk3Uta3pGZsyzoO_PcM9fQkz8cvDyH3DCaMgXlcrJbrfMKB8YnILsgQtDIyVVrAJRlwobOEc66uyNjojP36BjK4JgNgRiaKi-9bMozxB4AD1zAgzQc2LUasOtuFuqK1p4uqqPdNiR2WR7pqsAg-oKPPobLtkdrK0eWh7ELfSNa2PPRRXu9CQeeHqjgzIt0e6bRH2KKjs34ez-BZsLvW7uMdufG2jDj-1xH5mr98Tt-S_P11MX3Kk8C07JIteKm8N8pLSAVmKJhJAYyzkjMlcJu6wiqXaSv7EHzqvDYIGrlxUmgUI_Lwxw2IuGnasO_fbxRnqTaZOAF3c18R</recordid><startdate>201205</startdate><enddate>201205</enddate><creator>Stankovic, M.</creator><creator>Stojkovic, S.</creator><creator>Stankovic, R. S.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>201205</creationdate><title>Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams</title><author>Stankovic, M. ; Stojkovic, S. ; Stankovic, R. S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-b0f56ff96f5043e8e3194009da52163eb4dca6d87a5e8e0f4df79e07e29d537e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>compact represetation</topic><topic>Correlation</topic><topic>Data structures</topic><topic>Decision diagrams</topic><topic>Encoding</topic><topic>Incompletely specified logic functions</topic><topic>Logic functions</topic><topic>Transforms</topic><topic>Vectors</topic><toplevel>online_resources</toplevel><creatorcontrib>Stankovic, M.</creatorcontrib><creatorcontrib>Stojkovic, S.</creatorcontrib><creatorcontrib>Stankovic, R. S.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Stankovic, M.</au><au>Stojkovic, S.</au><au>Stankovic, R. S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams</atitle><btitle>2012 IEEE 42nd International Symposium on Multiple-Valued Logic</btitle><stitle>ismvl</stitle><date>2012-05</date><risdate>2012</risdate><spage>142</spage><epage>147</epage><pages>142-147</pages><issn>0195-623X</issn><eissn>2378-2226</eissn><isbn>9781467309080</isbn><isbn>1467309087</isbn><eisbn>0769546730</eisbn><eisbn>9780769546735</eisbn><abstract>Incompletely specified logic functions are often met in computer science and engineering and their compact representations are a subject of a wide research interest. In this paper, we present a method for determining an assignment of unspecified function values that will produce compact decision diagrams. The method is based on the analysis of Walsh and Vilenkin-Chrestenson spectral coefficients for binary and multiple-valued functions, respectively, and the operation of spectral translation of logic functions. Spectral transforms are used to identify the linear function with strongest correlation with the initial function and assign the unspecified values as well as to specify the spectral translation that will result in a compact decision diagram.</abstract><pub>IEEE</pub><doi>10.1109/ISMVL.2012.38</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0195-623X |
| ispartof | 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012, p.142-147 |
| issn | 0195-623X 2378-2226 |
| language | eng |
| recordid | cdi_ieee_primary_6214798 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | compact represetation Correlation Data structures Decision diagrams Encoding Incompletely specified logic functions Logic functions Transforms Vectors |
| title | Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-14T16%3A43%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Representation%20of%20Incompletely%20Specified%20Binary%20and%20Multiple-Valued%20Logic%20Functions%20by%20Compact%20Decision%20Diagrams&rft.btitle=2012%20IEEE%2042nd%20International%20Symposium%20on%20Multiple-Valued%20Logic&rft.au=Stankovic,%20M.&rft.date=2012-05&rft.spage=142&rft.epage=147&rft.pages=142-147&rft.issn=0195-623X&rft.eissn=2378-2226&rft.isbn=9781467309080&rft.isbn_list=1467309087&rft_id=info:doi/10.1109/ISMVL.2012.38&rft_dat=%3Cieee_6IE%3E6214798%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=0769546730&rft.eisbn_list=9780769546735&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6214798&rfr_iscdi=true |