Login / Signup
Improvements on the detection of false paths by using unateness and satisfiability.
Felipe S. Marques
Osvaldo Martinello
Renato P. Ribas
André Inácio Reis
Published in:
SBCCI (2010)
Keyphrases
</>
object detection
detection algorithm
detection method
information retrieval
automatic detection
detection rate
information systems
np complete
anomaly detection
detection scheme
real world
video sequences
false positives
propositional logic
decision procedures
satisfiability testing