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