Memristive Stateful Logic for Edge Boolean Computers.
Young Seok KimMyeong Won SonKyung Min KimPublished in: Adv. Intell. Syst. (2021)
Keyphrases
- boolean logic
- multi valued
- edge detection
- edge information
- real valued
- boolean functions
- truth table
- computer systems
- modal logic
- data sets
- logic programming
- edge detector
- publish subscribe
- neural network
- boolean queries
- defeasible logic
- weighted graph
- computer technology
- image segmentation
- undirected graph
- automated reasoning
- propositional logic
- classical logic
- predicate logic
- active contours
- asynchronous circuits
- proof theory
- image processing