Centre de recherche LGI2P, Ecole des Mines d'Ales Site EERIE Parc Scientifique Georges Besse, 30035;
tabu search; neighborhood; arc-consistency;
机译:间隔观测器设计,用于非线性连续时间系统的一致性检查
机译:设计和程序结构的生成和一致性检查
机译:图形一致性检查:一种检查段语义一致性的工具
机译:通过一致性检查进行邻域设计
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:概念化邻里空间:多个邻居单位的邻里因子和妊娠健康协会的一致性和变化
机译:基于设计信息本体的一致性检验
机译:检查代理设计与早期缺陷定位的交互协议的一致性