STATISTICAL ANALYSIS; PROBABILITY; SEMANTICS; STOCHASTIC PROCESSES; VERIFICATION; SMC(STATISTICAL MODEL CHECKING); IS(IMPORTANCE SAMPLING); SIS(SEMANTIC IMPORTANCE SAMPLING);
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:语义网络的大规模结构:统计分析和语义增长模型
机译:真实地质样品中样品质量与采样方差之间的基本关系及相应的统计模型
机译:统计模型检查的语义重要性抽样
机译:肺癌/多发性骨髓瘤死亡率与致癌病毒暴露之间的关联-使用非基于模型和基于模型的统计方法以及各种对照抽样方案对职业人群的癌症死亡率进行统计分析。
机译:基于神经生理模型的统计计算对英语句子的语义处理
机译:链接语义模型以支持CSP || B一致性检查。
机译:统计模型检验的语义重要性抽样。