Furthermore, the integer programming method is exploited as the mathematical tool for the generation of a polynomial algorithm producing the optimal set elementary siphons.
在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法。
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
That's where the first marriage between this mathematical tool and face recognition got introduced.
这就是数学工具与人脸识别最初结合的原因。
应用推荐