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

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

相关帖子

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

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

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