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

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

相关帖子

 版块 作者 回复/查看 最后发表
自我取证在车辆碰撞调查和事件中的作用 重建 外文文献专区 可人4 2022-3-6 0 239 可人4 2022-3-6 22:24:00
可计算逻辑中的序列运算符 外文文献专区 mingdashike22 2022-3-6 0 320 mingdashike22 2022-3-6 21:58:00
一种新的基于饱和度的推理实现框架 外文文献专区 何人来此 2022-3-6 0 243 何人来此 2022-3-6 19:57:25
关联的冗余、演绎方案和最小大小基 规则 外文文献专区 大多数88 2022-3-6 0 288 大多数88 2022-3-6 18:52:00
标准逻辑是非单调的 外文文献专区 mingdashike22 2022-3-6 0 260 mingdashike22 2022-3-6 17:51:00
基于I向量和PLDA的端到端DNN说话人识别 外文文献专区 kedemingshi 2022-3-6 0 354 kedemingshi 2022-3-6 17:16:25
开放源码软件存储库的质量分类器 外文文献专区 kedemingshi 2022-3-6 0 300 kedemingshi 2022-3-6 17:14:50
从定性到定量的安全性质证明 一阶条件逻辑 外文文献专区 可人4 2022-3-6 0 329 可人4 2022-3-6 17:02:25
描述逻辑EL中的统一 外文文献专区 能者818 2022-3-6 0 449 能者818 2022-3-6 16:18:50
自动互信息功能的硬件实现 状态监测 外文文献专区 mingdashike22 2022-3-6 0 342 mingdashike22 2022-3-6 16:16:25
关于约束的泛代数方法的范围 满意度 外文文献专区 mingdashike22 2022-3-6 0 400 mingdashike22 2022-3-6 15:46:25
可计算性逻辑中的切换运算符 外文文献专区 能者818 2022-3-6 0 402 能者818 2022-3-6 15:42:50
链接同调与精化拓扑顶点 外文文献专区 nandehutu2022 2022-3-6 0 344 nandehutu2022 2022-3-6 14:55:25
切割模拟与不可预测性 外文文献专区 能者818 2022-3-6 0 266 能者818 2022-3-6 14:47:50
嵌套迭代模式的可判定类（扩展版） 外文文献专区 可人4 2022-3-6 0 354 可人4 2022-3-6 14:10:25
基于持续时间演算的树突状细胞算法探讨 外文文献专区 何人来此 2022-3-6 0 217 何人来此 2022-3-6 11:05:25
模块化程序设计中逻辑程序的相对超等价性 外文文献专区 kedemingshi 2022-3-6 0 219 kedemingshi 2022-3-6 10:26:50
用项重写实现逻辑程序的自动终止证明 外文文献专区 mingdashike22 2022-3-6 0 416 mingdashike22 2022-3-6 10:21:25
基于J向量的文本相关双联合贝叶斯方法 说话人验证 外文文献专区 nandehutu2022 2022-3-6 0 237 nandehutu2022 2022-3-6 10:21:00
信息物理系统的概率演算 外文文献专区 何人来此 2022-3-6 0 534 何人来此 2022-3-6 09:39:50
1 ...45678910111213... 18下一页

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

GMT+8, 2026-2-23 03:11