| Identity statement area | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | sibgrapi.sid.inpe.br |
| Identifier | 6qtX3pFwXQZeBBx/w9yoH |
| Repository | sid.inpe.br/banon/2002/11.13.12.12 |
| Last Update | 2002:11.13.02.00.00 administrator |
| Metadata | sid.inpe.br/banon/2002/11.13.12.13 |
| Metadata Last Update | 2020:02.19.02.58.52 administrator |
| Citation Key | MadeiraBarr:2000:InEvBD |
| Title | Incremental evaluation of BDD-represented set operators  |
| Year | 2000 |
| Date | October |
| Access Date | 2021, Jan. 19 |
| Number of Files | 1 |
| Size | 613 KiB |
| Context area | |
| Author | 1 Madeira, Heraldo M. F. 2 Barrera, Junior |
| Editor | Carvalho, Paulo Cezar Pinto Walter, Marcelo |
| Conference Name | Brazilian Symposium on Computer Graphics and Image Processing, 13 (SIBGRAPI) |
| Conference Location | Gramado, RS, Brazil |
| Pages | 308-315 |
| Publisher | IEEE Computer Society |
| Publisher City | Los Alamitos |
| Tertiary Type | Full Paper |
| Organization | SBC - Brazilian Computer Society |
| History | 2008-07-17 14:10:51 :: administrator -> banon :: 2008-08-26 15:23:02 :: banon -> administrator :: 2009-08-13 20:37:03 :: administrator -> banon :: 2010-08-28 20:00:11 :: banon -> administrator :: 2020-02-19 02:58:52 :: administrator -> :: 2000 |
| Content and structure area | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Keywords | mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators, translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof. |
| Abstract | In mathematical morphology set operators are described by a formal language, whose vocabulary is composed of dilations, erosions, complementation, union and intersection. They are called morphological operators when expressed in this form. Translation invariant and locally defined set operators are called W-operators. Decision diagrams have been used as an alternative representation for some 2-D and 3-D discrete W-operators. This paper shows that the reduced and ordered binary decision diagram (ROBDD) is a non-ambiguous scheme for representing W-operators and presents a method to compute the ROBDD of any W-operator from a corresponding morphological operator. This procedure of computing decision diagrams can be applied to the automatic proof of equivalence between morphological operators, since the W-operator they represent are equal if and only if they have the same ROBDD. |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| Conditions of access and use area | |
| data URL | http://urlib.net/rep/6qtX3pFwXQZeBBx/w9yoH |
| zipped data URL | http://urlib.net/zip/6qtX3pFwXQZeBBx/w9yoH |
| Target File | 308-315.pdf |
| User Group | administrator |
| Visibility | shown |
| Allied materials area | |
| Host Collection | sid.inpe.br/banon/2001/03.30.15.38 |
| Notes area | |
| Notes | The conference was held in Gramado, RS, Brazil, from October 17 to 20. |
| Empty Fields | accessionnumber affiliation archivingpolicy archivist area booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition electronicmailaddress format group holdercode isbn issn label language lineage mark mirrorrepository nextedition nexthigherunit numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder secondarydate secondarykey secondarymark secondarytype serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |