...
机译:基于观测的近似依赖性建模及其对程序切片的用途
KAIST 291 Daehak-ro Yuseong-gu Daejeon 34141 Republic of Korea;
Loyola University Baltimore 4501 North Charles Street Baltimore MD 21210 USA;
Chalmers University of Technology Chalmersplatsen 4 412 96 Goeteborg Sweden;
University College London Gower St London WC1E 6BT UK;
KAIST 291 Daehak-ro Yuseong-gu Daejeon 34141 Republic of Korea;
Dependency analysis; Program slicing; Model learning; MOAD;
机译:基于执行片和块间数据依赖性的有效程序调试
机译:从机车优化的单一商品模型到多属性模型:最优整数规划和近似动态规划的比较
机译:条件近似贝叶斯计算:高维变异选择模型的跨站点依赖的新方法
机译:海报:MOBS:使用程序依赖的词汇近似的基于多操作员的切片
机译:随机双动规范和倒退近似动态规划,具有集成交叉状态随机模型的蓄能优化
机译:使用近似贝叶斯计算评估和拟合麻风分枝杆菌的模型以预测巴西控制计划的结果
机译:用依赖信息计算面向对象程序的动态切片