Login / Signup

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving.

Salvador Lucas
Published in: PROLE (2015)
Keyphrases
  • linear algebra
  • constraint solving
  • least squares
  • singular value decomposition
  • machine learning
  • pattern recognition
  • high dimensional
  • spatial information
  • first order logic
  • computer architecture