机译:使用Oracle规则对等效转换程序进行算法调试
机译:使用ORE进行知识创作:在语义Web框架中测试,调试和验证知识规则
机译:论对抗对抗攻击的语义分割模型的鲁棒性
机译:用于调试NLP模型的语义等效的对抗条件
机译:通过定向种族检测简化了语义并发程序的调试。
机译:通过基于规则的语义集成对SBML模型进行注释
机译:基于神经和规则的芬兰NLP模型 - 期望,实验和经验
机译:Trois semantiques Equivalentes pour Css(分布式计算的流模型:Ccs的三个等价语义)