) using self-checking alternating logic.

Che Wun Chiou Wen-Yew Liang Hung Wei Chang Jim-Min Lin Chiou-Yng Lee

Published in: IET Circuits Devices Syst. (2010)

Keyphrases

modal logic
defeasible logic
logical framework
asynchronous circuits
classical logic
predicate logic
digital circuits
logic programming
multi valued
delay insensitive
computational properties
data sets
image processing
information systems
computer vision
search engine
machine learning