柳军飞 丁学君 董广智 张宏立 孙晓凌 金莉 胡旷 郑南宁

自动机 圆形 工作流 代价 异常处理 动态语义 纹理编码 语义规则 JTAG PLC 红外视频 反应式控制 隐式选择 验证工具 轮廓编码 MCGS March算法 扶梯 动态变更 扫描线 可扩展标记语言 节能 实时 DDR SDRAM 过程模型 图像分割 变频器 随机哈夫变换 目标检测 任意形状图像压缩

中国科学院软件研究所人机交互技术与智能信... 中国科学院软件研究所