Login / Signup
Detection of feature interactions using feature-aware verification.
Sven Apel
Hendrik Speidel
Philipp Wendler
Alexander von Rhein
Dirk Beyer
Published in:
ASE (2011)
Keyphrases
</>
feature interactions
object detection
detection rate
automatic detection
false alarms
detection accuracy
multiscale
real time
artificial intelligence
face recognition
face images
detection algorithm
false positives
model checking
face verification
formal verification