机译:全面参考的算法游戏
University of Warwick;
Queen Mary University of London;
Program equivalence; Game semantics; Full abstraction; Automata over infinite alphabets;
机译:在没有地面参考测量的情况下评估平滑算法的有效性
机译:在学生最优延迟验收算法下,在偏好启示录游戏中被动严格的纳入均衡
机译:基于结果公平偏好和对等公平偏好的渠道协调博弈模型:一种行为博弈的预测与分析方法
机译:全面参考的算法游戏
机译:未成年女孩的在线游戏偏好:在放学后计算机俱乐部中的所有女孩的社交环境中探索游戏偏好。
机译:全面参考的算法游戏
机译:卫星影像地面气溶胶光学特性和反射特性检索算法的实践研究:用ASTER光谱反射率库验证MODIS影像参考反照率图检索算法的准确性