Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻是一种知识表示的形式语,是一阶逻的可判定。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
This extension is also capable of texture synthesis, which means that we give it a small image patch that shows some sort of repetition, and it tries to continue it indefinitely in a way that seems completely seamless.
这项扩展还可以被用纹理合成方面,这意味着可以输入一小块图像,用来表示某种可重复的纹理,之后这种算法会尝试把这一小块纹理无限扩展,并且看起来完全无缝。