Loop-Detection in Hyper-Tableaux by Powerful Model Generation.

Frieder Stolzenburg

Published in: J. Univers. Comput. Sci. (1999)

Keyphrases

detection method
false positives
automatic detection
detection rate
detection algorithm
real time
neural network
web services
database systems
change detection
modal logic
real world
image processing
feature extraction
multiscale
object detection