The Decidability of Regular Problems for Monoids Presented by Church-Rosser Systems

Description of parallel algorithms by FP and Decidability of its systolic implementation

并行算法的FP描述及其脉动化的判定

互联网摘选

The Decidability and Complexity for Theories of Modules on Finitely PI Rings

有限可换主理想环上模理论可判定性及其复杂性

互联网摘选

It was not the determinism of physics, or chemistry, or of biological cells, that was involved in Hilbert's question about decidability.

希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。

互联网摘选

The decidability of the model is proven and a decidability algorithm is presented.

证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

互联网摘选

On Decidability of NP Complete Problems by Polynomial Sized Circuit

关于NP完全问题的多项式线路可判定性

互联网摘选

A Definition Framework of Spatial Logic and Decidability

空间逻辑的一个定义框架及其可判定性

互联网摘选

In his fictions, the destiny is represented by the mysterious nature, the decidability and comeuppance, contingency and coincidence, instinct and desire.

在他的小说中，命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。

互联网摘选

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

互联网摘选

Based on the scheduling decidability conditions, we propose a heterogeneous multiprocessor multi-frame real-time task scheduling algorithm based on genetic algorithm.

以此为基础利用调度可判定性条件，提出了基于遗传算法的异构多处理器多帧实时任务调度算法。

互联网摘选

The decidability of system M can thus be derived from the finite model property.

这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。

互联网摘选

Could you give me, a foreigner, a lecture first?

可不可以先给我这个老外讲一讲.

互联网摘选

No.4 Open your mouth bravely because foreigners are just scarecrows.

老外都是纸老虎,勇敢的说出来.

互联网摘选

Along the river bar sat a group blonde foreigner.

河边沿街的酒吧里坐着一群群金发碧眼的老外.

互联网摘选

And the same logic should apply to everyone, including foreigners or Americans.

这一逻辑同样可运用到每个人身上, 包括老外或老美.

互联网摘选

Dogs there barked as we passed, which quite frightened a fellow foreigner.

我们一路喧哗惹得村里的狗狂吠不停, 把同行的老外吓得不轻.

互联网摘选

He spoke that way as if he were a foreigner.

他讲话的方式就好像是老外.

互联网摘选

The west's negative or positive is our criteria for good and bad?

老外赞扬与否,难道就是好与坏的标准 么 ?

互联网摘选

They were in fact far more expensive because they were for laowai!

它们实际上非常昂贵,就因为是为老外准备的!

互联网摘选

Open your mouth bravely because foreigners are just scarecrows.

秘诀四老外都是纸老虎,勇敢的说出来.

互联网摘选

And foreigners in China are also welcoming these high-quality products.

另外,在中国的老外也很喜欢这种高品质的有机食品.

互联网摘选