New results on frame-proof codes and traceability schemes.

Reihaneh Safavi-Naini Yejing Wang

Published in: IEEE Trans. Inf. Theory (2001)

Keyphrases

reed solomon
error correction
genetic algorithm
linear logic
data sets
theorem proving
neural network
mathematical proofs
life cycle
key frames
frame rate
theorem prover
space time block codes
space time block
single frame
open source
optical flow
computer vision
artificial intelligence
databases