共 50 条
- [1] Incremental Predicate Analysis for Regression Verification PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
- [2] Research on Chinese predicate head recognition based on Highway-BiLSTM network Tongxin Xuebao/Journal on Communications, 2021, 42 (01): : 100 - 107
- [3] Predicate-Argument Based Bi-Encoder for Paraphrase Identification PROCEEDINGS OF THE 60TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022), VOL 1: (LONG PAPERS), 2022, : 5579 - 5589
- [5] Boundary identification based on boundary element methods Proceedings of the Fifth International Conference on Information and Management Sciences, 2006, 5 : 402 - 407
- [6] Automating regression verification of pointer programs by predicate abstraction Formal Methods in System Design, 2018, 52 : 229 - 259
- [9] Biased-Predicate Annotation Identification via Unbiased Visual Predicate Representation PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA, MM 2023, 2023, : 4410 - 4420
- [10] Nominal Predicate Identification for Dependency-based Chinese Semantic Role Labeling 11TH CHINESE LEXICAL SEMANTICS WORKSHOP (CKSW2010), 2010, : 440 - 446