Login / Signup

Generalized rewrite theories, coherence completion, and symbolic methods.

José Meseguer
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
  • multiscale
  • neural network
  • machine learning algorithms
  • machine learning
  • lower bound
  • benchmark datasets
  • computational cost
  • data mining techniques
  • cross validation