A New Heuristic for Bad Cycle Detection Using BDDs.

Ronald H. Hardin Robert P. Kurshan Sandeep K. Shukla Moshe Y. Vardi

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

false alarms
false positives
object detection
automatic detection
dynamic programming
detection algorithm
data sets
detection scheme
detection rate
heuristic search
search algorithm
optimal solution
database
simulated annealing
tabu search
face recognition
computer vision
neural network
detection accuracy