-
陈清亮
-
-
- 所属机构:暨南大学
- 所在地区:广东省 广州市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 苏开乐
- 作品数:48被引量:152H指数:8
- 供职机构:浙江师范大学数理与信息工程学院
- 研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 吕关锋
- 作品数:12被引量:65H指数:4
- 供职机构:北京工业大学计算机学院
- 研究主题:BDD OBDD SPV 最短路径 知识结构
- 岳伟亚
- 作品数:6被引量:35H指数:3
- 供职机构:中山大学信息科学与技术学院信息技术教育部重点实验室
- 研究主题:语义模型 形态小波 灰度形态学 模糊形态学 图像处理
- 杨晋吉
- 作品数:63被引量:147H指数:6
- 供职机构:华南师范大学
- 研究主题:存储介质 图像 形式化验证 染色体 概率模型检测
- 姜云飞
- 作品数:112被引量:513H指数:15
- 供职机构:中山大学信息科学与技术学院软件研究所
- 研究主题:人工智能 基于模型诊断 专家系统 规划图 遗传算法