共 50 条
- [43] Verifying Low-Level Implementations of High-Level Datatypes COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 306 - 320
- [46] Face tracking with low-level and high-level information CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (01): : 99 - 102
- [47] Modeling Interactions between Low-Level and High-Level Features for Human Action Recognition IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (12): : 2896 - 2899
- [48] 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
- [49] From Low-Level Pointers to High-Level Containers VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 431 - 452