RELIC-FUN: Logic Identification through Functional Signal Comparisons.

James Geist Travis Meade Shaojie Zhang Yier Jin

Published in: DAC (2020)

Keyphrases

signal processing
logic programming
non stationary
predicate logic
modal logic
compressive sensing
original signal
frequency domain
high frequency
neural network
medical images
automatic identification
asynchronous circuits
linear logic
control signals
transcranial magnetic stimulation