learning (artificial intelligence); sampling methods; cross-validation methods; decremental sampling scheme; error rate bias representation; error rate estimation; formal analysis; incremental sampling scheme; leave-one-out methods; rule induction; statistical indices; Accuracy; Educational institutions; Error analysis; Estimation; Probabilistic logic; Set theory; Training; accuracy; coverage; cross-validation; incremental sampling scheme; rule induction;
机译:基于形式化方法的C程序内存分配漏洞分析与优化
机译:改进地球化学样品制备及原子吸收分析方案的方法
机译:基于采样方法的灰度和彩色所有权声明的图像尺寸无约束所有权识别方案
机译:基于递减采样方案的留一法的形式分析
机译:肺癌/多发性骨髓瘤死亡率与致癌病毒暴露之间的关联-使用非基于模型和基于模型的统计方法以及各种对照抽样方案对职业人群的癌症死亡率进行统计分析。
机译:在拷贝数的全基因组分析以家庭为基础的设计变型:方法相结合以家庭为基础和人口基础信息用于测试二元或数量性状或完全确定样本
机译:基于形式方法的C程序的内存分配漏洞分析和分析优化
机译:基于γ-γ重合矩阵的形式逻辑分析的衰减方案重建方法和程序