共 50 条
- [31] Machine-assisted proof support for validation beyond simulink FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 96 - 115
- [34] Adaptive virtual fixtures for machine-assisted teleoperation tasks 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 1139 - 1144
- [35] COMMUNICATIVE GRAMMAR AND MACHINE-ASSISTED TEXT CONTENTS ANALYSIS INTERNATIONAL CLASSIFICATION, 1984, 11 (01): : 9 - &
- [36] Machine-Assisted Generation of Semantic Business Process Models ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2015 WORKSHOPS, 2015, 9416 : 357 - 366
- [37] ATTRIBUTE FOCUSING - MACHINE-ASSISTED KNOWLEDGE DISCOVERY APPLIED TO SOFTWARE PRODUCTION PROCESS-CONTROL KNOWLEDGE ACQUISITION, 1994, 6 (03): : 271 - 294
- [38] Accelerating reaction optimization through data-rich experimentation and machine-assisted process development REACTION CHEMISTRY & ENGINEERING, 2024, 9 (08): : 2160 - 2170
- [40] Seed potato in Russia: production, market and quality system development POTATO PRODUCTION AND INNOVATIVE TECHNOLOGIES, 2007, : 149 - 159