Verification of minimum-redundancy prefix codes.

Ahmed A. Belal Amr Elmasry

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

Keyphrases

minimum redundancy
model checking
error correction
data structure
face verification
feature selection
formal verification
verification method
formal analysis
tree traversal
data sets
high security
signature verification
tree structure
support vector machine
social networks
artificial intelligence