Verification of characteristics of the parametric model for the RC4 reference channel.

Rastislav Róka

Published in: TSP (2012)

Keyphrases

parametric models
model checking
multi channel
computer vision
dynamic programming
flow field
verification method
computational complexity
regression model
range images
channel coding