Login / Signup

Managing the false alarms: A framework for assurance and verification of surveillance monitoring.

Peter Goldschmidt
Published in: Inf. Syst. Frontiers (2007)
Keyphrases
  • false alarms
  • main contribution
  • real time
  • theoretical framework
  • monitoring system
  • computer vision
  • object detection
  • model checking
  • formal verification
  • activity monitoring
  • number of false alarms