Login / Signup
AutoFix: a hybrid tool for automatic logic rectification.
Shi-Yu Huang
Kuang-Chien Chen
Kwang-Ting Cheng
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
semi automatic
genetic algorithm
fully automatic
artificial intelligence
data driven
computational properties
predicate logic
hybrid approaches
computer vision
information systems
search algorithm
description logics
multi view
user friendly
software tools
single camera