Login / Signup

A Canonical Model Construction for Substructural Logics.

Hajime Ishihara
Published in: J. Univers. Comput. Sci. (2000)
Keyphrases
  • model construction
  • propositional calculus
  • influence diagrams
  • pose estimation
  • data sets
  • active appearance models
  • machine learning
  • dynamic programming