A multi-level geometric reasoning system for vision

DOI10.1016/0004-3702(88)90058-6MaRDI QIDQ1116357zbMATH OpenOpenAlexFDO

Authors Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van- Duc Nguyen

Publication date 1988

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(88)90058-6

zbMATH Keywords

machine visionalgebraic reasoninggeometric reasoninggeometric knowledgeview consistency

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99) Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99)

Recommendations

• Symbolic reasoning among 3-D models and 2-D images
• scientific article; zbMATH DE number 4211464
• The geometry of multiple images. The laws that govern the formation of multiple images of a scene and some of their applications. With contributions from Théo Papadopoulo
• An invitation to 3-D vision. From images to geometric models.
• scientific article; zbMATH DE number 512598

Cites work

• scientific article; zbMATH DE number 3836945 (Why is no real title available?)
• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3222940 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• An algebraic approach to shape-from-image problems
• 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
• Computer Description of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• On the SUP-INF Method for Proving Presburger Formulas
• Symbolic reasoning among 3-D models and 2-D images
• Wu's method and its application to perspective viewing

Cited in

(2)

• scientific article; zbMATH DE number 2006521 (Why is no real title available?)
• Symbolic reasoning among 3-D models and 2-D images

Describes a project that uses

Uses Software

• RRL

This page was built for publication: A multi-level geometric reasoning system for vision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1116357)