共 50 条
- [41] Probabilistic Reasoning for Real-time UAV Decision and Control [J]. SENSORS AND SYSTEMS FOR SPACE APPLICATIONS XII, 2019, 11017
- [42] The effect of reasoning logics on real-time decision making [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1997, 27 (06): : 743 - 749
- [43] TEMPORAL REASONING ABOUT REAL-TIME REACTIVE SYSTEMS [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 249 - 256
- [44] Real-time capture of student reasoning while writing [J]. PHYSICAL REVIEW SPECIAL TOPICS-PHYSICS EDUCATION RESEARCH, 2014, 10 (02):
- [46] Verification Architectures: Compositional Reasoning for Real-Time Systems [J]. INTEGRATED FORMAL METHODS, 2010, 6396 : 136 - 151
- [47] An Approach for Real-time Stream Reasoning for the Internet of Things [J]. 2017 11TH IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2017, : 348 - 353
- [50] Real-time object detection applied on drones [J]. International Agricultural Engineering Journal, 2019, 28 (04): : 450 - 459