School of Computer Science Carnegie Mellon University;
School of Computer Science Carnegie Mellon University;
School of Computer Science Carnegie Mellon University;
机译:用遗传算法归纳逻辑程序:遗传逻辑编程系统
机译:加权逻辑程序的乘积
机译:用于动态可重配置处理器的细粒度和小配置数据量可编程逻辑模块的研究-灵活处理器的可编程逻辑元件
机译:动态编程算法作为加权逻辑程序的产品
机译:可分解程序设计中的算法问题,用于解决系统动力学中的非线性程序设计问题。
机译:稀有加权丰富度:保护规划中最小集和最大覆盖率问题的整数规划和启发式算法的简单可靠的替代方案
机译:动态编程算法作为加权逻辑程序的产物
机译:从线性时态逻辑公式综合动态规划算法