Sign in
Formula Simplification via Invariance Detection by Algebraically Indexed Types.
Takuya Matsuzaki
Tomohiro Fujita
Published in:
IJCAR (2022)
Keyphrases
</>
automatic detection
detection rate
detection algorithm
object detection
detection method
false positives
false alarms
detection accuracy
genetic algorithm
multiresolution
partial occlusion
detection scheme