原像计算相关论文
核方法已经被广泛应用于模式识别与机器学习领域,该方法有效使用了核技巧从而避免了复杂计算和维数灾难问题,其基本思想是将低维空......
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态......
