机译:在基于图灵机的决策过程中使用符号融合的基于知识的自动分期决策决策系统,将睡眠医学指南正式化
机译:Borg:基于知识的系统,用于自动生成图像处理程序
机译:数值比较过程中符号和非符号数值处理的基于频率的分解
机译:通过将知识的工程应用于有限元分析的后处理来自动生成设计改进
机译:自动生成指令序列,以对处理器和片上系统进行基于软件的自检。
机译:幼稚园对符号数值幅度的流利处理取决于他们两年前的基本知识和对算术的隐式理解
机译:Borg:基于知识的系统,用于自动生成图像处理程序
机译:使用FORTRaN处理器的弹性转子叶片方程的符号生成和动态流入对直升机转子稳定性影响的数值研究