欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams
期刊名称:Journal of Software
时间:0
页码:977-984
相关项目:面向装配规划的领域知识表示及推理研究
作者:
Qianjin Wei|Tianlong Gu|
同期刊论文项目
面向装配规划的领域知识表示及推理研究
期刊论文 29
会议论文 11
专利 2
同项目期刊论文
The symbolic OBDD algorithm for maximum cardinality matching in bipartite graphs
基于OBDD的Iteration-free CPDL判定算法
基于动态描述逻辑DDL的动作理论
A novel symbolic algorithm for maximum weighted matching in bipartite graphs
装配序列规划问题的CSP模型及其符号OBDD求解技术
基于OBDD的描述逻辑ALCIO判定算法
基于赋时Petri网的装配建模研究
基于启发式DCPM-FGA的产品装配序列规划
基于CPDL模型检验的装配序列规划
加权约束满足问题的符号ADD求解算法
基于OBDD的描述逻辑SHOIQ判定算法研究与实现
Petri网的符号ZBDD可达树分析技术
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
可判定的时序动态描述逻辑
基于OBDD的描述逻辑εL循环术语集推理
一种Ad Hoc网络可生存性度量方法