A multi-level geometric reasoning system for vision
type: Item
instance of: scholarly article
title: A multi-level geometric reasoning system for vision
zbMATH Open document ID: 0665.68070
DOI: 10.1016/0004-3702(88)90058-6
author: Michele Barry
author: David Cyrluk
author: Deepak Kapur
author: Joseph L. Mundy
author: Van- Duc Nguyen
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
review text: Geometry is known to play an important role in image understanding and machine vision. Geometric reasoning is employed in different forms in model formation and model matching problems in model-based vision research. Geometric representations and reasoning methods are often used implicitly in the design of vision systems and algorithms used there. An approach towards model-based vision in which geometric and algebraic reasoning is explicit is discussed. A multi-level reasoning system for machine vision based on this approach is being designed and developed at General Electric Corporate Research and Development. Three key components of this system - a hierarchical organization of geometric knowledge for its systematic and efficient use as well as to control the search space, labeling algorithms and algebraic reasoning algorithms - are presented. The use of such a system for deriving a three-dimensional model from two-dimensional images as well as for using a two-dimensional image for matching against another two-dimensional image (called view consistency problems) is discussed.
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 4088964
zbMATH Keywords: geometric reasoning
zbMATH Keywords: algebraic reasoning
zbMATH Keywords: machine vision
zbMATH Keywords: geometric knowledge
zbMATH Keywords: view consistency
describes a project that uses: RRL
MaRDI profile type: Publication
full work available at URL: 0004-3702(88)90058-6
OpenAlex ID: W2010027047
cites work: Cylindrical Algebraic Decomposition I: The Basic Algorithm
cites work: Symbolic reasoning among 3-D models and 2-D images
cites work: Comments on the translation of my PhD thesis: ``An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal''
cites work: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
cites work: Q3714165
cites work: Q3041977
cites work: Wu's method and its application to perspective viewing
cites work: Q5581665
cites work: Computer Description of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
cites work: On the SUP-INF Method for Proving Presburger Formulas
cites work: Q3321495
cites work: An algebraic approach to shape-from-image problems
cites work: Q5511421
description: scientific article; zbMATH DE number 4088964