Formal interaction specification in public health surveillance systems using pi-calculus.
Dibyendu BaksiPublished in: Comput. Methods Programs Biomed. (2008)
Keyphrases
- public health
- surveillance system
- infectious disease outbreaks
- outbreak detection
- formal language
- disease outbreaks
- formal specification
- video surveillance
- computer vision algorithms
- background subtraction
- homeland security
- ptz cameras
- infectious disease
- public safety
- information systems
- human computer interaction
- object recognition
- health related
- traffic surveillance
- feature space
- health services
- object detection