Login / Signup

Toward Mechanical Verification of Properties of Roundoff Error Propagation

Webb Miller
Published in: STOC (1973)
Keyphrases
  • error propagation
  • error resilience
  • packet loss
  • error resilient
  • video quality
  • image processing
  • compressed video
  • channel coding
  • hierarchical block matching
  • image data