3 papers
cs.CV2023
FARSEC: A Reproducible Framework for Automatic Real-Time Vehicle Speed Estimation Using Traffic Cameras
Lucas Liebe, Franz Sauerwald, Sylwester Sawicki +6
Estimating the speed of vehicles using traffic cameras is a crucial task for traffic surveillance and management, enabling more optimal traffic flow, improved road safety, and lowe…
stat.ML2023
Distribution and volume based scoring for Isolation Forests
Hichem Dhouib, Alissa Wilms, Paul Boes
We make two contributions to the Isolation Forest method for anomaly and outlier detection. The first contribution is an information-theoretically motivated generalisation of the s…
cs.AI2023
Using deep learning to construct stochastic local search SAT solvers with performance bounds
Maximilian J. Kramer, Paul Boes, Jens Eisert
The Boolean Satisfiability problem (SAT), as the prototypical -complete problem, is crucial in both theoretical computer science and practical applications. To address…