搜索
人大经济论坛 › 标签 › Verification › 相关帖子

tag 标签: Verification经管大学堂：名校名师名课

相关帖子

 版块 作者 回复/查看 最后发表
CF2语义的等式方法 外文文献专区 nandehutu2022 2022-3-16 0 370 nandehutu2022 2022-3-16 10:30:00
用答案集编程实现音乐自动作曲 外文文献专区 能者818 2022-3-15 0 348 能者818 2022-3-15 08:50:00
知识逻辑中求模型的逻辑程序设计及其应用 应用：一个案例研究 外文文献专区 kedemingshi 2022-3-14 0 325 kedemingshi 2022-3-14 18:40:00
PITA系统：下推理的表列和答案包含 不确定性 外文文献专区 何人来此 2022-3-14 0 467 何人来此 2022-3-14 15:35:00
时间不一致停止、近视调节与平衡稳定性； 均值-方差应用 外文文献专区 能者818 2022-3-13 0 332 能者818 2022-3-13 16:12:00
一种基于影响图的员工培训评估方法 软件业 外文文献专区 mingdashike22 2022-3-12 0 271 mingdashike22 2022-3-12 19:00:00
可拓高阶逻辑程序设计 外文文献专区 大多数88 2022-3-12 0 392 大多数88 2022-3-12 15:30:00
关于基数约束及其以外的CNF编码 外文文献专区 mingdashike22 2022-3-12 0 561 mingdashike22 2022-3-12 15:06:00
一种基于能量的方向特征离线签名验证 网络 外文文献专区 nandehutu2022 2022-3-11 0 439 nandehutu2022 2022-3-11 21:12:00
精化模态逻辑 外文文献专区 nandehutu2022 2022-3-10 0 296 nandehutu2022 2022-3-10 08:36:36
基于分数的融合方法提高虹膜识别精度 外文文献专区 能者818 2022-3-10 0 270 能者818 2022-3-10 08:36:33
噪声不变帧选择：一种简单的解决方案 文本无关说话人验证中的背景噪声问题 外文文献专区 何人来此 2022-3-9 0 251 何人来此 2022-3-9 09:08:20
基于闭集的关联规则库发现 外文文献专区 mingdashike22 2022-3-8 0 302 mingdashike22 2022-3-8 20:30:00
一种半自动生成组合表的方法 外文文献专区 能者818 2022-3-8 0 296 能者818 2022-3-8 20:08:20
模块化规则库的可视化推理规范方法。 概述和整合建议 外文文献专区 大多数88 2022-3-8 0 501 大多数88 2022-3-8 19:52:20
获得可靠的反馈以支持信誉机制 外文文献专区 能者818 2022-3-8 0 350 能者818 2022-3-8 19:38:40
基于语料库分析和核方法的数学前提选择 外文文献专区 何人来此 2022-3-8 0 354 何人来此 2022-3-8 19:24:40
道路防撞安全验证与控制 交叉路口 外文文献专区 能者818 2022-3-8 0 290 能者818 2022-3-8 18:47:20
一种基于实时模型的机器人强化学习体系结构 控制 外文文献专区 mingdashike22 2022-3-8 0 596 mingdashike22 2022-3-8 17:19:20
第26届国际逻辑程序设计会议简介 特刊 外文文献专区 可人4 2022-3-8 0 398 可人4 2022-3-8 16:17:40
1 ...789101112131415... 18下一页

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2025-12-5 22:11