guttman meaning in English
格特曼
古特曼
Examples
- 14 guttman a . r - trees : a dynamic index structure for spatial searching . in proc
上述机制在数据组织时并不需要对空间数据对象进行索引。 - A coordinated international effort to compile global standard normals is undertaken only once every 30 years guttman , 1989
每隔30年，国际上都会统一地计算一套新的标准气候平均guttman 1989 。 - Strand space , brought forward by fabrega , herzog and guttman , is a applied , intuitionistic and strict formal method for security protocols analysis
串空间( strandspace )模型由fabrega , herzog和guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。 - Searching in high - dimensional spaces : index structures for improving the performance of multimedia databases . acm computing surveys , 2001 , 33 : 322 - 373 . 2 guttman a . r - tree : a dynamic index structure for spatial searching
本文试图将高维空间中的每个点对应的两种距离尺度通过线性组合的方式表达成复合距离尺度，从而能够较好地缩小查询空间，提高查询效率。 - About theorem , the paper introduces the syntax of ideal , also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property . at the same time , this paper corrects one not so perfect lemma proving in a literature written by f " abrega , herzog and guttman
在理论上，本文引入了理想的语义，并首次使用了理想的概念对安全协议的秘密性进行严格的定义，同时使用理想的命题逻辑公式表示安全协议的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文献中的一个引理的证明，原有的证明是不完善的。