...
机译:数据抽象改进:一种游戏语义方法
School of Computer Science, University of Birmingham,Birmingham B15 2TT, UK;
rnDepartment of Computer Science, University of Warwick,Coventry CV4 7AL, UK;
rnSchool of Computer Science, University of Birmingham,Birmingham B15 2TT, UK;
rnDepartment of Computer Science, University of Warwick,Coventry CV4 7AL, UK;
software model checking; abstraction refinement; game semantics;
机译:Sequoidal类别和超限博弈:游戏语义学中有状态对象的合并方法
机译:Sequoidal类别和超限博弈:游戏语义学中有状态对象的合并方法
机译:使用暹罗三重解码器架构的半监控单眼深度估计,深度细化和语义分割的方法
机译:数据抽象细化:一种游戏语义方法
机译:具有共享约束的广义Nash游戏:存在性,效率,细化和平衡约束。
机译:使用基于本体的细化操作员使用概念规则学习在OMICS数据中找到语义模式
机译:数据抽象细化:一种游戏语义方法
机译:计算科学。依赖保证细化的法律和语义。