Login / Signup

A Library for Formalization of Linear Error-Correcting Codes.

Reynald AffeldtJacques GarrigueTakafumi Saikawa
Published in: J. Autom. Reason. (2020)
Keyphrases
  • error correcting codes
  • error correcting
  • error correction
  • decoding algorithm
  • image segmentation
  • computational complexity
  • feature vectors
  • minimum distance