共 50 条
- [31] Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model ADVANCES IN CRYPTOLOGY - EUROCRYPT 2016, PT II, 2016, 9666 : 822 - 851
- [33] A game semantics for generic polymorphism FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 1 - 22
- [34] Automated road marking recognition system INTERNATIONAL SCIENTIFIC-TECHNICAL CONFERENCE ON INNOVATIVE ENGINEERING TECHNOLOGIES, EQUIPMENT AND MATERIALS 2016 (ISTC-IETEM-2016), 2017, 240
- [35] STUDY ON THE GAME ANALYSIS OF ENVIRONMENT POLLUTION CONTROLLING PROCEEDINGS OF 2009 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-6, 2009, : 2164 - +
- [36] A Customized and Automated Assignment Management and Marking System for Evaluating Student Performance in the STEM Disciplines 2021 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE 2021), 2021,
- [37] Unit Testing Challenges with Automated Marking PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 544 - 548
- [38] Automated Marking of Transfer Function Problems TECHNOLOGICAL DEVELOPMENTS IN EDUCATION AND AUTOMATION, 2010, : 139 - 144
- [39] Marking of number and genericity: generic interpretation in the acquisition of PB LETRAS DE HOJE-ESTUDOS E DEBATES EM LINGUISTICA LITERATURA E LINGUA PORTUGUESA, 2007, 42 (01): : 35 - 52
- [40] Game analysis of China's generic technology R&D PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING MANAGEMENT, 2008, : 153 - 157