Login / Signup
The OPS-SAT benchmark for detecting anomalies in satellite telemetry.
Bogdan Ruszczak
Krzysztof Kotowski
David Evans
Jakub Nalepa
Published in:
CoRR (2024)
Keyphrases
</>
detecting anomalies
anomaly detection
production system
expert systems
data mining applications
abnormal events
remote sensing
sat solvers
satisfiability problem
phase transition
sat problem
data sets
search algorithm
preprocessing
data model
stochastic local search