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.<>
Toward the automatic generation of mathematical morphology procedures using predicate logic
1990-01-01
803602 byte
Conference paper
Electronic Resource
English
Automatic acquisition of hierarchical mathematical morphology procedures by genetic algorithms
British Library Online Contents | 1999
|Predicate Logic Based Image Grammars for Complex Pattern Recognition
British Library Online Contents | 2011
|AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES
European Patent Office | 2022
|AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES
European Patent Office | 2022
|