Fachbereich Informatik, Lehrstuhl 6 Universitaet Dortmund, Germany;
机译:约束差异化:减少搜索空间,用于基于约束的安全协议分析
机译:跨域遥感图像语义分割多弱监督约束下的深度语义分割网络
机译:建立逻辑规则的语义和约束语义
机译:朝统一语义约束和安全约束
机译:影响暧昧三字短语的理解的因素:局部语义限制,结构偏好,话语和任务约束
机译:统一的人类基因组的畸形变体效应和基因约束的统一推断
机译:努力实现分布式信息系统中语义约束和安全约束的统一
机译:约束方程:语义网络中量化约束的简明可比表示