搜索到 篇“ PTOLEMY “的相关文章

相关作者

李仁发
作品数：671被引量：3,269H指数：24
供职机构：湖南大学
研究主题：无线传感器网络 嵌入式系统 计算机网络 体系结构 虚拟实验室
王瑞
作品数：69被引量：150H指数：7
供职机构：首都师范大学
研究主题：形式化验证 机器人 ROS 移动机器人 时间自动机
张西红
作品数：58被引量：175H指数：7
供职机构：中国人民解放军军械工程学院
研究主题：无线传感器网络 遗传算法 ATM网 传感器网络 数据融合
凌纯清
作品数：20被引量：19H指数：3
供职机构：湖南大学
研究主题：压电 二极管 整流器 开关 PTOLEMY
施智平
作品数：185被引量：621H指数：11
供职机构：首都师范大学
研究主题：形式化验证 定理证明 形式化 图像检索 定理证明器