Login / Signup

Using CafeOBJ to Mechanise Refactoring Proofs and Application.

Antonio Carvalho JúniorLeila SilvaMárcio Cornélio
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • data sets
  • machine learning
  • learning environment
  • database
  • neural network
  • feature selection
  • optimal solution
  • artificial neural networks
  • hidden markov models
  • software maintenance