Login / Signup

A Simple Model Construction for the Calculus of Constructions.

Milena StefanovaHerman Geuvers
Published in: TYPES (1995)
Keyphrases
  • model construction
  • object recognition
  • pose estimation
  • influence diagrams