|
已选(0)清除
条数/页： 排序方式：
|
| 一种模块化机器人系统的形式化描述 会议论文
2017中国自动化大会（CAC2017）暨国际智能制造创新大会（CIMIC2017）, 中国山东济南, 2018-02-01
作者: 张运
  收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30
|
| 基于形式本体的地理概念语义分析方法 会议论文
中国江苏南京 中国地理学会2007年学术年会
李霖; 王红; 朱海红; 李德仁
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/15
|
| 多空间尺度下顾及不确定性的16方向锥形模型研究 会议论文
中国云南 第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会
蔡剑红; 李德仁
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/15
|
| 一种足部按摩机器人定位的预测建模方法 会议论文
11th World Congress on Intelligent Control and Automation (WCICA 2014), Shenyang, China, June 29 - July 4, 2014
作者: 魏英姿; 谷侃锋 ; 王洪光; 常勇
收藏 | 浏览/下载：34/0 | 提交时间：2014/12/29
|
| 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 会议论文
2013年中国计算机学会人工智能会议, 2013-07-31
作者: 刘炜[1]; 徐文杰[2]; 唐英英[3]; 付剑锋[4]; 张旭洁[5]
收藏 | 浏览/下载：7/0 | 提交时间：2019/04/30
|
| 高安全级信息系统中的特权控制机制及其模型研究 会议论文
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011), 贵阳, 2011
陈亚莎; 赵勇; 刘燕; 沈昌祥
收藏 | 浏览/下载：31/0 | 提交时间：2013/10/08
|
| 基于自动机的工作流异常处理的形式化描述 会议论文
作者: 宋言伟; 曾广周
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31
|
| 虚拟人体骨骼建模及静态姿势的形式化描述 会议论文
2007年中国智能自动化会议论文集, 2007年中国智能自动化会议, 中国甘肃兰州, CNKI, 中国自动化学会智能自动化专业委员会
那盟; 丁力; 贾培发; NA Meng; DING Li; JIA Pei-fa
收藏 | 浏览/下载：5/0 |
| 微结构级缓存一致性协议的模型检测 会议论文
郑涛
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| 基于SAT的软件包依赖问题的研究 会议论文
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006
顾昊; 倪惜珍
收藏 | 浏览/下载：3/0 | 提交时间：2011/07/28
|
