C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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