共 50 条
- [21] High-Level Expectations for Low-Level Image Processing [J]. KI 2008: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5243 : 87 - +
- [22] High-level decisions from low-level data [J]. 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
- [23] From Low-Level Pointers to High-Level Containers [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 431 - 452
- [24] High-Level Separation Logic for Low-Level Code [J]. ACM SIGPLAN NOTICES, 2013, 48 (01) : 301 - 313
- [25] Mobile robot motion by integration of low-level behavior control and high-level global planning [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 310 - 315
- [28] Inferring high-level behavior from low-level sensors [J]. UBICOMP 2003: UBIQUITOUS COMPUTING, 2003, 2864 : 73 - 89
- [29] Reconciling High-Level Optimizations and Low-Level Code in LLVM [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [30] LOW-LEVEL RADIOACTIVE-WASTES, HIGH-LEVEL RISK [J]. ENVIRONMENTAL SCIENCE & TECHNOLOGY, 1994, 28 (11) : A488 - A491