A preliminary look at error avoidance in digital logic via feedback equalization.

Zafar Takhirov Bobak Nazer Ajay Joshi

Published in: Allerton (2011)

Keyphrases

modal logic
error rate
relevance feedback
automated reasoning
classical logic
logic programming
multi valued
end to end
error bounds
proof theory
real time
deontic logic
visual feedback
digital forensics
generalization error
user feedback
expressive power