基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,528 浏览量: 1,794
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
基于安卓SDK的图片验证码设计Design of Image Verification Code Based on Android SDK
杜佳俊, 兰 红 下载量: 698 浏览量: 1,099
计算机科学与应用 Vol.10 No.3, March 27 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.103060 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 384 浏览量: 521 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
基于机器学习算法和社会网络分析方法的议程设置验证——以新冠疫情初期的“中国援助”为例Verification on Agenda Setting Based on Machine Learning Algorithms and Social Network Analysis Methods—A Case Study of “Chinese Assistance” in the Early Stage of COVID-19
万 鑫, 唐润发, 熊令纯, 李裕梅 下载量: 531 浏览量: 1,404 科研立项经费支持
数据挖掘 Vol.12 No.4, October 24 2022, PDF, HTML, XML DOI:10.12677/HJDM.2022.124034 被引量
基于特征选择和幻象残差网络的在线手写签名认证Online Handwritten Signature Verification Based on Feature Selection and Ghost Residual Network
卞 浩, 栾方军, 袁 帅 下载量: 784 浏览量: 930 国家自然科学基金支持
计算机科学与应用 Vol.13 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133063 被引量
基于Hopfield神经网络模型的验证码识别问题Hopfield Neural Network Based Approach to Recognizing the Verification Code
张靖文, 林萍芝, 肖思佳, 王浩华 下载量: 330 浏览量: 609 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 25 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011426 被引量
启动风险和机遇的控制措施对能力验证结果的分析和探讨Start Risk and Opportunity Control Measures to Analyze and Discuss the Results of Capability Verification
覃 洁 下载量: 312 浏览量: 657
微生物前沿 Vol.11 No.1, March 23 2022, PDF, HTML, XML DOI:10.12677/AMB.2022.111005 被引量
基于多任务学习的注意力机制双向GRU用于在线手写签名认证Bidirectional GRU with Attention Mechanism Based on Multi-Task Learning for Online Handwritten Signature Verification
沈 奇, 栾方军, 袁 帅 下载量: 379 浏览量: 1,090 国家自然科学基金支持
计算机科学与应用 Vol.12 No.2, February 24 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.122048 被引量
汉语–土耳其语句对齐自动校验方法研究Research on Automatic Back-Translation Based Verification Method of Chinese-Turkish Sentence
张贵林, 易绵竹, 李宏欣, 陈靖博 下载量: 352 浏览量: 509
现代语言学 Vol.9 No.4, August 4 2021, PDF, HTML, XML DOI:10.12677/ML.2021.94133 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 190 浏览量: 281
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量