位置：成果数据库 > 期刊 > 期刊详情页
Translation of SPARQL to SQL based on Integrity Constraint
  • 时间：0
  • 相关项目：基于模型的诊断若干关键问题研究及其在配置中的应用
同期刊论文项目
基于模型的诊断若干关键问题研究及其在配置中的应用
期刊论文 65 会议论文 6
同项目期刊论文
基于GPU的混合精度平方根共轭梯度算法
不完备模型下的离散事件系统诊断方法
Optimize Diagnosability and Sensor Placement in Discrete Event System
A Novel Hybrid Differential Evolution and Particle Swarm Optimization Algorithm for Unconstrained Op
Deriving all minimal consistency-based diagnosis sets using SAT?solvers
基于等价类划分的配置求解与解释计算研究
产品配置器的设计
图分割在Singleton弧相容算法中的应用
在离散事件系统中寻找诊断路径的方法
基于模型诊断的改进贝叶斯方法
离散时间系统的同步诊断算法
Model Counting with Boolean algebra and Extension Rule
结合增量与启发式搜索的多目标问题处理方法
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
基于ATMS的冲突识别及诊断测量方法
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
间接使用扩展规则求解#SAT问题
混合语义约简和选择估值优化SPARQL
Dynamic Theorem Proving Algorithm for Consistency-based Diagnosis
无环配置问题研究
一个结合多方面定性空间信息的新方法
一种动态定性空间关系自动规划方法
电子细胞Analog-Cell的并发机制
The Modeling Procedures for Model-Based Diagnosis of Slowly Changing Fault in Hybrid System
An Efficient Lightweight RFID Authentication Protocol for Low-cost Tags
Verilog Combinational Equivalence Checking based on SMT Constraint Solver
A new qualitative spatial reasoning model for natural language understanding
基于动态极大度的极小碰集求解方法
基于模型的混杂系统中控制器故障诊断方法
关于改进求解约束满足问题粗粒度弧相容算法的研究
约束分解技术回顾与展望.
一种基于环切割的约束满足问题求解算法.
Eliminating Repeated Constraint Checks in MaxRPC Algorithms.
基于AC-4的动态值启发式约束满足问题求解算法.
动态不确定环境下多目标路径规划方法
A Self-adaptive Differential Evolution Algorithm for Binary CSPs
一种用于常识空间信息处理的定性空间关系模型
利用标志传播求解基于模型的故障诊断
基于分割的超树分解方法
一种基于环切割的约束满足问题求解算法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
Mapping integrity constraint ontology to relational databases
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于语义的主题爬行策略