共 50 条
- [5] Statistically Valid Links and Anti-links Between Words and Between Documents: Applying TourneBool Randomization Test to a Reuters Collection ADVANCES IN KNOWLEDGE DISCOVERY AND MANAGEMENT, 2010, 292 : 307 - +
- [7] Fast Subsumption Between Rooted Labeled Trees KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017): 10TH INTERNATIONAL CONFERENCE, KSEM 2017, MELBOURNE, VIC, AUSTRALIA, AUGUST 19-20, 2017, PROCEEDINGS, 2017, 10412 : 552 - 559
- [10] ProVerif with Lemmas, Induction, Fast Subsumption, and Much More 43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2022), 2022, : 69 - 86