共 50 条
- [5] AN EMBEDDED REAL-TIME REASONING SYSTEM [J]. ARTIFICIAL INTELLIGENCE IN SCIENTIFIC COMPUTATION : TOWARDS SECOND GENERATION SYSTEMS, 1989, 2 : 291 - 294
- [6] Advances in Parametric Real-Time Reasoning [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 123 - 134
- [7] A REAL-TIME INTERVAL LOGIC FOR REASONING - ABOUT EXECUTIONS OF REAL-TIME PROGRAMS [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 10 - 19
- [9] Real-Time Motion Capture on a Budget [J]. VIRTUAL, AUGMENTED AND MIXED REALITY: INTERACTION, NAVIGATION, VISUALIZATION, EMBODIMENT, AND SIMULATION, VAMR 2018, PT I, 2018, 10909 : 56 - 70
- [10] REAL-TIME CAPTURE OF EXPERIENTIAL KNOWLEDGE [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1988, 18 (04): : 542 - 551