共 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
[27]
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