位置：成果数据库 > 期刊 > 期刊详情页
Reduced Ordered Binary Decision Diagram with Implied Literals: A New Knowledge Compilation Approach.
  • ISSN号：0219-1377
  • 期刊名称：Knowledge and Information Systems
  • 时间：2013.3
  • 页码：665-712
  • 相关项目：动态时空推理研究
作者： Yong Lai|Dayou Liu|Shengsheng Wang|
同期刊论文项目
动态时空推理研究
期刊论文 99 会议论文 6
同项目期刊论文
Modeling direction relations between uncertain regions.
Similarity of direction relations in spatial scenes
基于缩减信念状态的Conformant规划方法
基于环路紧密度的复杂网络社区挖掘方法
Research of the representation and reasoning for topological relations between two concave regions
基于路标隐式分解的前向搜索规划方法
时空数据挖掘研究进展
基于经验风险的中心文本分类算法
Representation and Reasoning for Topological Relations between A Region with Broad Boundaries and A
Representation for topological relations between a concave region and two simple regions
Community detection for proximity alignment
Topic modeling for large-scale text data
一致性规划中互斥常量合成方法研究
A survey of qualitative spatial representations
A model for the 3Drelative orientation based on TPCC，Journal of Information & Computational
智能世界的建模与诊断
宽边界区域和简单区域间拓扑关系的表示及推理
Group topic model: organizing topics into groups
Supervised labeled latent Dirichlet allocation for documentcategorization
Supervised topic models for multi-label classification
Centroid prior topic model for multi-label classification
海量信息融合方法及其在状态评价中的应用
不确定区域间定性方向关系模型
基于ＬＤＡ的多粒度主题情感混合模型
Distant Supervision方法中对齐数据的聚类去噪
不确定区域间方向关系的相似性度量方法
基于超链接多样性分析的新型网页排名算法
运动对象间的方位关系推理方法
三个简单区域间的拓扑关系的推理及应用模型
一种结合特征选择和链接过滤的主动协作分类方法
基于诊断器的可诊断性增量测试方法
Integrity Constraint Validation for Ontology Using Modularization
基于视觉词典法的母牛产前行为识别
关系抽取中基于本体的远监督样本扩充
基于改进蜂群算法优化神经网络的玉米病害图像分割
Characterizing and Extracting Multiplex Patterns in Complex Networks.
A computer aided diagnosis system for thyroid disease using extreme learning machine
基于作者权威值的论文价值预测算法
基于自治计算的流行病传播网络建模与推断
Hierarchical community detection with applications to real-world network analysi
扩展度量关系的9-交集模型
基于AC与LmaxRPC的自适应约束传播求解算法
基于C++的小型约束求解器
Improving helpful actions for contingent planning with enforced observations
一种球面点投影关系的推理方法
Shape classes registration and retrieval based on shape parts matching
一种双嵌套区域与简单区域间的拓扑关系模型
Curve length estimation based on cubic spline interpolation in gray-scale images
Integrity constraints in OWL ontologies based on grounded circumscription
凹形区域和带单洞区域间拓扑关系的表示
一种动态定性空间关系自动规划方法
一种用于常识空间信息处理的定性空间关系模型
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
一种半球面方位关系表示模型
结合look-ahead值排序的自适应分支求解算法
本体推理机求解Mups的性能评测研究
基于概念R—MUPS的本体调试方法
运用RFID技术的实验设备智能化管理探索
基于极性的非循环术语集调试
Tableau算法的优化及模型规约技术
一种有效的分层加权库编译方法
一种高效的随机块模型学习算法？
路标计数启发式引导的分解规划方法
结合扩展规则重构的#SAT问题增量求解方法
半扩展规则下分解的定理证明方法
不完备离散事件系统的可诊断性
通用化和个性化在线学习新模式的研究与探讨
Integrity constraints in OWL ontologies based on grounded circumscription
Curve length estimation based on cubic spline interpolation in gray-scale images
Necessary Maximum Principle of Stochastic Optimal Control with Delay and Jump Diffusion
利用CSP求解极小碰集的方法