...
机译:条件知识库的怀疑性c推理的性质及其作为约束满足问题的实现
Univ Hagen, Dept Math & Comp Sci, Hagen, Germany;
TU Dortmund Univ, Dept Comp Sci, Dortmund, Germany;
TU Dortmund Univ, Dept Comp Sci, Dortmund, Germany;
Univ Hagen, Dept Math & Comp Sci, Hagen, Germany;
Conditional; Conditional knowledge base; System P; System Z; C-representation; C-inference; Constraint satisfaction problem;
机译:条件随机场,种植的约束满意度和熵集中
机译:约束满足问题中的条件词典顺序
机译:解决混合和条件约束满足问题
机译:计算C推理关系的条件知识库的汇编
机译:寻求更有效的条件约束满足问题解决方案。
机译:Bio-ModelChecker:使用有限约束满意度将观察到的行为与生物网络的先验知识无缝整合
机译:约束满足中常见信道约束的实现:理论和算法。