• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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