共 50 条
- [1] Data streaming architecture for visualizing cryptocurrency temporal data [J]. Lecture Notes on Data Engineering and Communications Technologies, 2021, 66 : 651 - 661
- [2] Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic [J]. 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018), 2018, : 945 - 950
- [3] Finding state solutions to temporal logic queries [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 273 - 292
- [4] An interval temporal logic-based matching framework for finding occurrences of multi-event attack signatures [J]. COMPUTER NETWORK SECURITY, PROCEEDINGS, 2007, 1 : 272 - +
- [5] Temporal granular logic for temporal data mining [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 417 - 422
- [6] Insider Attack Detection using Weak Indicators over Network Flow Data [J]. 2015 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2015), 2015, : 1 - 6
- [7] Finding spatio-temporal patterns in climate data using clustering [J]. 2005 INTERNATIONAL CONFERENCE ON CYBERWORLDS, PROCEEDINGS, 2005, : 155 - 162
- [8] Finding temporal patterns by data decomposition [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION, PROCEEDINGS, 2004, : 608 - 613
- [9] A Decision Tree Approach to Data Classification using Signal Temporal Logic [J]. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 1 - 10
- [10] Abnormal Data Classification Using Time-Frequency Temporal Logic [J]. PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17), 2017, : 237 - 242