共 50 条
- [22] Learning Loop Invariants for Program Verification ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
- [23] Learning Invariants through Soft Unification ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
- [24] LEARNING THE INVARIANTS OF A PERCEPTUAL MOTOR SKILL CANADIAN JOURNAL OF PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE, 1991, 45 (03): : 303 - 320
- [26] Modeling perceptual learning of abstract invariants PROCEEDINGS OF THE TWENTY FIRST ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1999, : 264 - 269
- [28] ICE: A Robust Framework for Learning Invariants COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 69 - 87
- [29] Color image optical flow estimation algorithm fused with color invariants Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology, 2013, 35 (12): : 2927 - 2933