共 50 条
- [33] Reproducible research: A case study of sampling signals with finite rate of innovation 2007 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL IV, PTS 1-3, 2007, : 1265 - 1268
- [36] A Signal Theoretic Approach for Envelope Analysis of Real-Valued Signals IEEE ACCESS, 2017, 5 : 5623 - 5630
- [37] Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals MODEL CHECKING SOFTWARE, SPIN 2022, 2022, 13255 : 61 - 78
- [38] On the Quantitative Semantics of Regular Expressions over Real-Valued Signals FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 189 - 206
- [39] Real-valued cyclic convolution for prime-length signals IEEE TENCON 2003: CONFERENCE ON CONVERGENT TECHNOLOGIES FOR THE ASIA-PACIFIC REGION, VOLS 1-4, 2003, : 83 - 86
- [40] Robust Satisfaction of Temporal Logic over Real-Valued Signals FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 92 - 106