共 50 条
- [34] A human interactive proof algorithm using handwriting recognition EIGHTH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND RECOGNITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 967 - 971
- [35] Interactive sampling using SAS/AF® FRAMES PROCEEDINGS OF THE TWENTY-SECOND ANNUAL SAS USERS GROUP INTERNATIONAL CONFERENCE, 1997, : 1077 - 1081
- [36] Optimization of environmental sampling using interactive GIS SOIL TECHNOLOGY, 1997, 10 (02): : 83 - 97
- [38] Ω-ANTS -: An open approach at combining interactive and automated theorem proving SYMBOLIC COMPUTATION AND AUTOMATED REASONING, 2001, : 81 - 97
- [40] Discover the pythagorean theorem using interactive multimedia learning 1ST INTERNATIONAL CONFERENCE OF COMBINATORICS, GRAPH THEORY, AND NETWORK TOPOLOGY, 2018, 1008