Analysis of E-commerce Ranking Signals via Signal Temporal Logic.

Tommaso Dreossi Giorgio Ballardin Parth Gupta Jan Bakus Yu-Hsiang Lin Vamsi Salaka

Published in: SNR (2020)

Keyphrases

temporal logic
signal processing
model checking
signal analysis
short time fourier transform
qualitative and quantitative
verification method
modal logic
spectral analysis
temporal knowledge
signal detection
heart rate variability