共 50 条
- [32] Parallel Graph-Based Stateless Model Checking [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 377 - 393
- [33] A Neural Graph-based Local Coherence Model [J]. FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EMNLP 2021, 2021, : 2316 - 2321
- [34] Graph-based Statistical Language Model for Code [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 858 - 868
- [35] Cooperative graph-based model predictive search [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 6242 - +
- [38] Comparison of graph-based model transformation rules [J]. JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (02): : 1 - 21
- [40] Graph-based Model of Smart Grid Architectures [J]. 2020 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES (SEST), 2020,