On Loop Detection in Connection Calculi.

Stefan Brüning

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

automatic detection
object detection
false alarms
detection accuracy
detection algorithm
detection method
detection rate
neural network
data mining
information retrieval
genetic algorithm
face recognition
bayesian networks
control system
automated detection
sequent calculi