Login / Signup

Mechanizing Complemented Lattices Within Mizar Type System.

Adam Grabowski
Published in: J. Autom. Reason. (2015)
Keyphrases
  • feature extraction
  • computer assisted
  • real time
  • data sets
  • computer vision
  • decision trees
  • multiscale