+/- k based on threshold logic.

Héctor Pettenghi Ricardo Chaves Leonel Sousa Maria J. Avedillo

Published in: VLSI-SoC (2010)

Keyphrases

threshold selection
logic programming
classical logic
set theory
real time
genetic algorithm
website
linear logic
automated reasoning
multi valued
computational properties
predicate logic
linear temporal logic
epistemic logic
abductive reasoning
nonmonotonic logics
multi agent systems
decision trees
real world