共 50 条
- [22] Provable Guarantees for Generative Behavior Cloning: Bridging Low-Level Stability and High-Level Behavior ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
- [24] Verifying Low-Level Implementations of High-Level Datatypes COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 306 - 320
- [27] Face tracking with low-level and high-level information CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (01): : 99 - 102
- [28] High-Level Expectations for Low-Level Image Processing KI 2008: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5243 : 87 - +
- [29] High-level decisions from low-level data SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1948 - 1953
- [30] From Low-Level Pointers to High-Level Containers VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 431 - 452