共 50 条
- [21] A framework for machine-assisted user interface verification ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 461 - 474
- [22] Problems encountered in the machine-assisted proof of hardware CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 56 - 70
- [23] A sentence compression module for machine-assisted subtitling COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, 2006, 3878 : 490 - 501
- [24] MACHINE-ASSISTED PATTERN-CLASSIFICATION IN MEDICINE AND BIOLOGY ANNUAL REVIEW OF BIOPHYSICS AND BIOENGINEERING, 1980, 9 : 393 - 436
- [28] Why Machine-Assisted Translation (MAT) tools for Croatian? ITI 2006: PROCEEDINGS OF THE 28TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2006, : 469 - +
- [29] MACHINE-ASSISTED INDEXING OF SCIENTIFIC-RESEARCH SUMMARIES JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1975, 26 (04): : 230 - 236
- [30] Cryptographically sound and machine-assisted verification of security protocols STACS 2003, PROCEEDINGS, 2003, 2607 : 675 - 686