Login / Signup

BP: Formal Proofs, the Fine Print and Side Effects.

Toby C. MurrayPaul C. van Oorschot
Published in: SecDev (2018)
Keyphrases
  • formal proofs
  • back propagation
  • coarse to fine
  • database
  • learning algorithm
  • database systems
  • multiscale
  • wide range
  • expert systems
  • fuzzy logic