-
雷丽晖
-
-
- 所属机构:西安电子科技大学计算理论与技术研究所
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 段振华
- 作品数：206被引量：223H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
- 耿国华
- 作品数：709被引量：3,677H指数：27
- 供职机构：西北大学
- 研究主题：特征提取 三维模型 文物 点云 颅骨
- 周明全
- 作品数：773被引量：3,885H指数：24
- 供职机构：西北大学
- 研究主题：三维模型 文物 颅骨 特征提取 小波变换
