共 50 条
- [45] Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 199 - 201
- [46] Parameterized Verification of Track Topology Aggregation Protocols FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 35 - 49
- [47] Knowledge representation on design of storm drainage system INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2004, 3029 : 886 - 894
- [48] THE 'EARLIEST KNOWN REPRESENTATION OF A STORM IN WESTERN ART' TLS-THE TIMES LITERARY SUPPLEMENT, 1996, (4866): : 12 - 12
- [50] Deep Representation Learning for Metadata Verification 2019 IEEE WINTER APPLICATIONS OF COMPUTER VISION WORKSHOPS (WACVW), 2019, : 73 - 82