Mentor Graphics Corporation, Design Verification Technology;
Computer Engineering Department, Cairo University, Egypt;
Formal verification; Complexity theory; Data models; Mathematical model; Cost function; Feature extraction; Training;
机译:使用机器学习技术的韩国中断成本的强大估计:贝叶斯TOBITILE回归
机译:基于混合机学习的故障预测模型的正式验证应用中的互联网应用
机译:使用机器学习方法指导正式验证编排
机译:使用回归机学习估算正式验证成本
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:鉴定和理解乳腺癌高医疗成本的决定因素:量级回归机器学习方法
机译:基于混合机学习的故障预测模型的正式验证应用中的互联网应用