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
01.01.1990
803602 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
Europäisches Patentamt | 2022
|AUTOMATIC GENERATION OF INTEGRATED TEST PROCEDURES USING SYSTEM TEST PROCEDURES
Europäisches Patentamt | 2022
|