`%0 Conference Proceedings`

`%4 sid.inpe.br/banon/2002/11.13.12.12`

`%2 sid.inpe.br/banon/2002/11.13.12.13`

`%A Madeira, Heraldo M. F.,`

`%A Barrera, Junior,`

`%T Incremental evaluation of BDD-represented set operators`

`%B Brazilian Symposium on Computer Graphics and Image Processing, 13 (SIBGRAPI)`

`%D 2000`

`%E Carvalho, Paulo Cezar Pinto,`

`%E Walter, Marcelo,`

`%8 October`

`%J Los Alamitos`

`%I IEEE Computer Society`

`%C Gramado, RS, Brazil`

`%K 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.`

`%X 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.`

`%P 308-315`

`%O The conference was held in Gramado, RS, Brazil, from October 17 to 20.`

`%1 SBC - Brazilian Computer Society`

`%3 308-315.pdf`