A discussion is presented of the design of a system that can input a vision task specification and use its knowledge of the operations of mathematical morphology to automatically construct a procedure that can execute the task. To do this, the authors develop a predicate calculus representation to describe the essence of the states of all the images that are created during the execution of the morphological procedure and the states of the relationships among them. The authors translate the English descriptions of morphological procedures into predicate logic. In so doing they gain an understanding of the goal of each procedure and the exact conditions under which a procedure achieves its goal. With this knowledge of the operations of mathematical morphology represented in predicate logic, a search procedure can be used to automatically produce vision procedures.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Toward the automatic generation of mathematical morphology procedures using predicate logic


    Contributors:
    Joo, H. (author) / Haralick, R.M. (author) / Shapiro, L.G. (author)


    Publication date :

    1990-01-01


    Size :

    803602 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Automatic acquisition of hierarchical mathematical morphology procedures by genetic algorithms

    Yoda, I. / Yamamoto, K. / Yamada, H. | British Library Online Contents | 1999



    Predicate Logic Based Image Grammars for Complex Pattern Recognition

    Shet, V. / Singh, M. / Bahlmann, C. et al. | British Library Online Contents | 2011


    AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES

    MAXIM CONSTANTIJN VOS / BAREND-JAN VAN BRUCHEM / PETER VAN GILS et al. | European Patent Office | 2022

    Free access

    AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES

    VOS MAXIN CONSTANTIJN ET AL / VAN BRUCHEM BAREND-JAN / VAN GILS PIETER et al. | European Patent Office | 2022

    Free access