位置：成果数据库 > 会议 > 会议详情页
Advancesin On-the-Fly Emptiness Checking Algorithms for Büchi Automata
  • 所属机构名称：哈尔滨工程大学
  • 会议名称：2012 IEEE fifth International Conference on Advanced Computational Intelligence
  • 时间：2012.10.10
  • 成果类型：会议
  • 相关项目：基于迁移学习的异构聚类多关系社会网络划分方法研究
作者： Lu Zhao|Jianpei Zhang|Jing Yang|
同会议论文项目
基于迁移学习的异构聚类多关系社会网络划分方法研究
期刊论文 78 会议论文 3 获奖 2
同项目会议论文
An Automatic Method for Texture Extraction and Mapping in 3d Building Reconstruction
A Transductive Support Vector Machine Algorithm Based on Spectral Clustering