共 50 条
- [21] Machine-Assisted Human Translation: Its position PERSPECTIVES-STUDIES IN TRANSLATOLOGY, 2003, 11 (02): : 135 - 143
- [22] A framework for machine-assisted user interface verification ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 461 - 474
- [24] Problems encountered in the machine-assisted proof of hardware CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 56 - 70
- [25] A sentence compression module for machine-assisted subtitling COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, 2006, 3878 : 490 - 501
- [26] MACHINE-ASSISTED PATTERN-CLASSIFICATION IN MEDICINE AND BIOLOGY ANNUAL REVIEW OF BIOPHYSICS AND BIOENGINEERING, 1980, 9 : 393 - 436
- [27] MACHINE-ASSISTED INDEXING OF SCIENTIFIC-RESEARCH SUMMARIES JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1975, 26 (04): : 230 - 236
- [28] Cryptographically sound and machine-assisted verification of security protocols STACS 2003, PROCEEDINGS, 2003, 2607 : 675 - 686