A multi-level geometric reasoning system for vision

DOI10.1016/0004-3702(88)90058-6zbMath0665.68070OpenAlexW2010027047MaRDI QIDQ1116357

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

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

geometric reasoningmachine visionalgebraic reasoninggeometric knowledgeview consistency

Mathematics Subject Classification ID

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

Uses Software

• RRL

Cites Work

• An algebraic approach to shape-from-image problems
• Wu's method and its application to perspective viewing
• 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
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Symbolic reasoning among 3-D models and 2-D images
• On the SUP-INF Method for Proving Presburger Formulas
• Computer Description of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item