Correctable Errors of Weight Half the Minimum Distance Plus One for the First-Order Reed-Muller Codes.
Kenji YasunagaToru FujiwaraPublished in: AAECC (2007)
Keyphrases
- error detection
- higher order
- first order logic
- error correction
- errors occur
- artificial intelligence
- error analysis
- database
- data sets
- universally quantified
- weighting scheme
- error propagation
- weight assignment
- quantifier elimination
- total weight
- error accumulation
- error correcting codes
- segmentation errors
- video sequences
- real time