Detection of First Order Axiomatic Theories.

Guillaume Burel Simon Cruanes

Published in: FroCos (2013)

Keyphrases

object detection
higher order
detection method
detection rate
automatic detection
detection accuracy
theory revision
false alarms
computer vision
false positives
stochastic dominance
database
action theories
cognitive psychology
decision theory
anomaly detection
digital images
genetic algorithm