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

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

相关帖子

 版块 作者 回复/查看 最后发表
答案集程序的位向量逻辑转换 外文文献专区 可人4 2022-4-12 0 329 可人4 2022-4-12 15:55:00
LPC(ID)：命题逻辑的序贯证明系统 用归纳定义扩展 外文文献专区 可人4 2022-4-11 0 569 可人4 2022-4-11 21:45:00
MTGAN：基于多任务三重生成的说话人验证 对抗性网络 外文文献专区 kedemingshi 2022-4-11 0 476 kedemingshi 2022-4-11 12:20:00
一种数字离散向量场计算算法的验证 影像学 外文文献专区 何人来此 2022-4-10 0 279 何人来此 2022-4-10 16:25:00
一阶逻辑的约束传播与归纳定义 外文文献专区 mingdashike22 2022-4-10 0 403 mingdashike22 2022-4-10 13:05:00
即期外汇市场三角套利的海市蜃楼 外文文献专区 可人4 2022-4-10 0 463 可人4 2022-4-10 09:40:00
用特定领域的启发式方法改进DPLL求解器的性能： ASP案例 外文文献专区 大多数88 2022-4-10 0 265 大多数88 2022-4-10 09:30:00
基于依赖对方法的复杂性自动分析 外文文献专区 能者818 2022-4-8 0 350 能者818 2022-4-8 20:50:00
无限时长全付费竞标游戏 外文文献专区 mingdashike22 2022-4-8 0 343 mingdashike22 2022-4-8 09:05:00
用变量代换法求解函数约束 外文文献专区 kedemingshi 2022-4-5 0 243 kedemingshi 2022-4-5 20:10:00
基于深度CNN的文本提示说话人识别特征提取器 外文文献专区 mingdashike22 2022-4-5 0 431 mingdashike22 2022-4-5 13:50:00
电化学存储调度与一次频率控制 系统级验证 外文文献专区 能者818 2022-4-3 0 294 能者818 2022-4-3 13:15:00
统一超球嵌入在说话人识别中的应用 外文文献专区 mingdashike22 2022-4-2 0 501 mingdashike22 2022-4-2 14:50:00
稳定模型一般理论的模定理 外文文献专区 能者818 2022-3-31 0 395 能者818 2022-3-31 19:25:00
优化SAT编码的布尔等传播算法 外文文献专区 何人来此 2022-3-31 0 470 何人来此 2022-3-31 17:25:00
由不动点变元导出的阿罗定理 外文文献专区 能者818 2022-3-31 0 448 能者818 2022-3-31 17:00:00
弥合强化学习与知识之间的鸿沟 代表：一个合乎逻辑的非政策和非政策框架 外文文献专区 能者818 2022-3-31 0 330 能者818 2022-3-31 16:30:00
一次一个大系统让生活更美好：UAI面临的挑战 研究 外文文献专区 nandehutu2022 2022-3-31 0 332 nandehutu2022 2022-3-31 14:10:00
一种最优配对交易规则 外文文献专区 nandehutu2022 2022-3-31 0 537 nandehutu2022 2022-3-31 13:00:00
揭穿网络谣言 外文文献专区 大多数88 2022-3-29 0 336 大多数88 2022-3-29 15:25:00
1 ...91011121314151617... 18下一页

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

GMT+8, 2025-12-29 03:57