Voice-leadings; Chord progressions; Matrix algebra; Distance functions; Nabla distance; Optimal voice-leadings;
机译:算法代数术语中对象域的算法知识的形式化
机译:基于签名的Groebner基础算法的通用和可执行形式化
机译:拆分拓扑模型以进行分布式云应用程序部署的方法,形式化方法和算法
机译:语音介绍的形式化和Nabla算法
机译:无人地面车辆地形/道路机动性基金会及其用于车轮功率管理的算法形式化,以提高领导者和跟随者的能力。
机译:具有形式化交叉算子的生物启发遗传算法在机器人应用中的应用
机译:基于签名的Gröbner基础算法的通用和可执行形式化
机译:形式化算法分析