Detection and Elimination of Constants to Strengthen k-Induction.

Lukas Mentel Karsten Scheibler Tino Teige

Published in: MBMV (2022)

Keyphrases

detection method
detection algorithm
automated detection
automatic detection
anomaly detection
object detection
databases
detection rate
database
digital images
data streams
case study
information systems
social networks
false positives
change detection
detection accuracy
target detection