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

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

相关帖子

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

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

GMT+8, 2025-12-29 01:48