共 50 条
- [41] Specifying a Distributed Snapshot Algorithm as a Meta-program and Model Checking it at Meta-level [J]. 2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), 2017, : 1586 - 1596
- [42] Using meta-level control with reinforcement learning to improve the performance of the agents [J]. FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2006, 4223 : 1109 - 1112
- [43] Evolution to the xtreme: Evolving evolutionary strategies using a meta-level approach [J]. CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2004, : 31 - 38
- [44] A Meta-level Approach for Multilingual Taint Analysis [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 69 - 77
- [45] META-LEVEL TRACKING FOR GESTURAL INTENT RECOGNITION [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP), 2015, : 5600 - 5604
- [46] Case studies in meta-level theorem proving [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 461 - 478
- [47] On the integration of configuration and meta-level programming approaches [J]. REFLECTION AND SOFTWARE ENGINEERING, 2000, 1826 : 189 - 208
- [49] Specialising meta-level compositions of logic programs [J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 275 - 294
- [50] Completing causal networks by meta-level abduction [J]. MACHINE LEARNING, 2013, 91 (02) : 239 - 277