veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
Guy AmirZiv FreundGuy KatzElad MandelbaumIdan RefaeliPublished in: FM (2023)
Keyphrases
- learning algorithm
- learning process
- learning systems
- empirical studies
- active learning
- hybrid learning
- unsupervised learning
- inductive inference
- learning scheme
- elementary school
- learning analytics
- detection rate
- learning problems
- intelligent tutoring systems
- face detection
- detection method
- probabilistic model
- expert systems