基于随机游走模型的物体识别
2023-11-05
来源:步旅网
Computer Engineering and Applications ̄t算机工程与应用 基于随机游走模型的物体识别 林 霄,肖国强,吴松,邱开金 LIN Xiao,XIAO Guoqiang,wu Song,QIU Kaijin 西南大学计算机信息科学学院,重庆4007 1 5 School of Computer&Information Science,Southwest University,Chongqing 4007 1 5,China LIN Xiao,XIAO Guoqiang,wU Song,et a1.Random walk model based object recognition.Computer Engineering and Applications,2013,49(21):145—151. Abstract:Traditiona1 object recognition methods in computer vision are almost based on the visual features,which cannot perform well in a more complex circumstance.To attack this critical problem,this paper proposes a novel object recognition method which combines object recognition with the prior relations.During the training stage,structured presentation of the prior relations is applied through a hybrid graph which contains image similar sub—graph,semantic similar sub-graph and the relations between the two sub.graphs.A random walk model is then consturcted according to the hybrid graph.During the recognition stage,a new testing image node iS added to the random walk mode1.The relations between this node and the nodes in the random walk model are calculated.Random walks which start from the testing image node are performed at the random walk mode1.The probability rank provided by the result of random walks will serve as the recognition result of the testing image.Experimental results illustrate the validity and stronger recognition performance of the proposed method. Key words:object recognition;prior relation;hybrid graph model;random walk model 摘要:针对传统物体识别算法中只依赖于视觉特征进行识别的单一性缺陷,提出了一种结合先验关系的物体识别算 法。在训练阶段,通过图模型结构化表示先验关系,分别构建了图像一图像、语义一语义两个子图以及两子图之间的联 系,利用该图模型建立随机游走模型;在识别阶段,建立待识别图像与随机游走模型中的图像节点和语义节点的关系,在 该概率模型上进行随机游走,将随机游走的结果作为物体识别的结果。实验结果证明了结合先验关系的物体识别算法的 有效性;提出的物体识别算法具有较强的识别性能。 关键词:物体识别;先验关系;混合图模型;随机游走模型 文献标志码:A 中图分类号:TP751.1 doi:10.3778/j.issn.1002.8331.1201-0213 1 引言 对各类标记的空间位置关系和共现性进行学习,并用遗传 自然界中的物体具有不同的属性,如颜色、形状、纹理 算法完成对图像的最佳标定。文献[2]中提出一种能量模 等,这些不同的属性在大脑的不同部位被加工。人之所以 型来描述各类标记间的关系,并完成对区域的标定。这说 能在各种不同的情境中,通过视觉系统轻松地识别物体, 明了建立一个用以描述标记问内在联系的关系模型对RL 是因为人在对各类物体的学习过程中不仅记忆了该物体 的重要性。可视物体识别(visual Object Class Recognition, 的相关特征,还在大脑中建立了各类物体之间的先验关 VOCR)的主要工作是预测图像中某类语义的范例是否出 系。然而在计算机视觉系统中要建立由这种先验关系组 现。而当图像中包含多类物体时,VOCR和RL所需解决的 成的统一机制却是十分困难的,这也使得物体识别成为了 问题是一致的。基于以上思想,将关系模型应用到VOCR 计算机视觉研究领域中一个非常具有挑战性的课题。 的过程中是可行的。 区域语义标定(Region Labeling,RL)是近年来国内外 传统的物体识别算法大致可分为基于局部特征的物 研究的热点问题之一。它的主要工作是对图像中的特定区 体识别和基于全局特征的物体识别两类。基于局部特征 域进行语义标定。文献[1】中用贝叶斯网络构造概率模型 的物体识别算法通过对图像中兴趣点(区域)的检测,得到 基金项目:中央高校基本科研业务费专项资金重点项目(No.XDJK2011C073)。 作者简介:林霄(1988一),男,硕士,主要研究领域为数字图像处理;肖国强(1965一),男,博士,教授;吴松(1986一),男,硕士;邱开金 (1974一),男,副教授。E—mail:james.1inxiao@gmail.corn 收稿日期:2012—01—12 修回日期:2012.03.07 文章编号:1002—8331(2013)21—0145—07 CNKI出版日期:2012-06—01 http://www.cnki.net/kcms/detail/11.2127.TP.20120601.1457.025.html Computer Engineering andApplications计算机工程与应用 关于图像的局部信息以完成对物体的识别。例如,文献[3] 中采用基于特征点检测以及不同类型物体的特征点所构 成的独特空间几何结构来进行物体识别。基于全局特征 应用十分广泛的图像颜色信息表示方法。它是对图像的 颜色特征进行统计所得到的关于特征的统计直方图,具有 有效地反映图像中颜色组成分布的优点。对于RGB三通 道下的彩色图像,首先将其转化到HSV颜色空间,然后把 每个颜色通道里面的颜色信息都量化为10个不同的等级。 的物体识别算法试图找到能代表图像中所有信息的全局 特征,并以该全局特征进行物体识别。这不仅包括简单的 统计方法,例如像素均值、直方图特征等,还包括复杂的降 维算法,例如主成分分析 、独立成分分析 、非负矩阵分解 。 其中降维算法 的主旨在于把原图像投影到一个最能表 达原图像数据的低维子空间中。无论是基于局部特征的 物体识别算法,还是基于全局特征的物体识别算法都未将 先验关系应用到物体识别的过程中,因此很难建立一个有 效且完善的由先验关系组成的统一机制。本文以建立一 个这样的统一机制为出发点,提出了一种结合先验关系的 物体识别算法。在训练阶段,首先,用图像的全局特征相 似度建立图像相似性图(Image Similarity Graph,ISG);同 时,用领域本体中各语义对象的相对距离建立语义相似性 图(Semantic Similarity Graph,SSG);其次,采用JSEG算 法 对图像进行分割,得到图像的子区域集,选取部分得到 的子区域作为训练样本,利用支持向量机(Suppo ̄Vector Machine,SVM)进行训练得到一个对于多类物体的分类 器。用该分类器建立图像与语义间的关系,并形成统一的 混合图模型。在识别阶段,首先,在统一的图模型中新建 一个待识别图像节点,通过提取其全局特征建立该节点与 其余图像节点的全局特征相似性关联。其次,对待识别图 像进行分割,利用训练得到的分类器建立待识别图像节点 与语义节点问的语义相似性关联。最后,以该节点为起始 节点进行随机游走,并把随机游走的结果作为该图像中的 物体识别的结果。实验结果验证了该算法的有效性和可 靠性,以及其较好的物体识别性能。 基于随机游走模型的物体识别算法流程图如图1所示。 先验知识 构建领域本体 图像集/ 图像分割}—'H子区域特征提取 全局特征提取 图像语义相似性 SVM 相似性图 蔫曼 ___— 。1::::!!! : 兰 构建语义 相似性图 磊 厂———L] 识别阶段广-—_!—一 随机游 识别 走模型 结果 图1 基于随机游走模型的物体识别算法流程图 2 ISG的建立 2.1全局特征的提取 在图像处理中,常用的描述图像全局信息的特征大致 分为三类:颜色、纹理和形状特征。本文选取图像的颜色 和纹理作为全局特征。 2.1.1颜色特征 颜色直方图(Color Histogram,CH)是一种在图像处理 通过直方图的统计,对于每幅彩色图像都可以得到一个相 关的颜色特征。 2.1.2纹理特征 局部二元模式(Local Binary Pattern,LBP) 是近年来 提出的一种有效的纹理描述方法,它通过比较图像中每个 像素与其邻域内像素灰度值的大小,利用二进制模式表示 的比较结果来描述图像的纹理,可以对灰度图像中局部邻 近区域的纹理信息进行有效度量和提取。LBP特征突出的 优点是对目标灰度变化不敏感且计算简单迅速。在本文 中,每幅图像都可以得到一个LBP纹理特征。 2.2全局特征的相似性度量 在完成全局特征的提取并对其进行归一化处理之后, 定义了衡量各全局特征间相似性的度量。设图像集,中图 像的数量为Ⅳ,对于第i张图片 ,f∈[1,N】,存在全局特征 向量 .。这里用两个向量间夹角的余弦函数作为其相似 性度量,则对于全局特征向量l’。,'l,。,p,q∈[1,Ⅳ】,其相似性 可表示为: (Vp,Vq 2.3 建立ISG 计算图像之间的相似性度量是建立图像相似性图的 基础。此外,建立一个图模型,还需要选取建立图模型的 方法,例如:最邻近图(k-Nearest Neighbor,kNN),s阀值邻 近图,指数加权图等。文献[11]中证明了利用kNN图建立 的图模型在大多数情况下具有较好的相关性表达能力。 因此,在本文中基于kNN图来建立图像相似性图。在该图 模型中,每幅图像都对应了图中的一个节点。对于任意图 像 ,取与其相似度较大的i个图像作为该图像的相邻节 点。相应地,把图像 ,在图中所对应的节点与其近邻节点 用以,_为始点的有向边连接起来,并把它们之间的相似度 作为该有向边的权值。由此,完成了对图像相似性图的建 立。图2举例说明了一个由4个节点组成且 =1时建立的 图。值得注意的是,由于图像, 与图像 并不一定互为近 邻,所以建立的图像相似性图并非是一个对称的图模型。 图2图像相似性图的结构 3 SSG的建立 语义相似性图描述了各类语义之间的关系。不同语 义间的关系是很难通过一般的解析式来获得的。语义问 林霄,肖国强,吴松,等:基于随机游走模型的物体识别 图3语义构建的本体图 的关系是由先验知识决定的,例如:有大象、马、汽车三种 语义,存在先验知识“大象和马都是属于动物”,可以推出 来建立一个统一的混合图模型。由于图像与语义间是多 对多的关系,要直接建立图像与语义之间的关系是复杂 的。但是,子区域与语义间的关系是多对一的关系,建立 大象与马的语义相似性强于大象与汽车的语义相似性。 所以,本文利用先验知识来完成对语义相似图的建立。 它们之间的关系相对简单。同时,一幅特定的图像中又包 含了多个特定的子区域,因此,可以通过建立图像中的子 区域与语义之问的关系来完成对图像相似性图与语义相 似性图之间的关系建立。 3.1领域本体 Gruber在文献[12]中对本体进行了定义:本体是一种 共享概念模型的形式化规范说明。作为知识和概念描述 的重要工具,本体具有领域对象描述手段和描述方法,既 4.1 图像分割 本文选取了经典的JSEG算法 作为图像的分割算法。 JSEG算法主要包括两个步骤:颜色量化和空间分割。颜色 可以用于描述简单的事实,又可以用于描述抽象的概念, 可用于解决图像语义描述中存在的问题。由于本体的建 立是对先验知识库的结构化、形式化的规范,所以本文就 以建立本体的形式来建立先验知识库。为了对实验中所 需要的12种语义进行描述,在本体中定义了20种语义,利 用其先验关系手工构建了该本体的层次结构。 量化的目的是为了减少原始彩色图像的颜色数量,以降低 算法复杂度。原图像中像素点的像素值被量化为 个类, 并把量化后的图像作为类图;在分割过程中,通过处理与 类图相关的数据得到分割结果。图4显示了JSEG算法对 一3.2建立SSG 类似于图像相似性图,树形本体中叶节点所对应的每 一张图像的分割结果。 种语义都对应了语义相似性图中的一个节点。要建立 语义相似性图,关键在于量化定义出任意两种语义间的相 似性测度。在本文中通过已构建的领域本体来表达语义 间的关系。如图3所示,在本体中两个节点的语义相似性 与这两个节点在树形结构中的最短路径相关㈣。设有两种 不同的语义 与 ,则它们的语义相似度可表示为: 1 —墨量 ■ ■簟 (a)原始图像 (b)分割后的图像 图4 JSEG算法分割结果 f(Sp,Sq)= e (2) 4.2子区域特征提取 在完成对原图像的分割之后,需要提取所得到子区域 的底层特征。其中颜色特征是最直观、最明显的特征,是 其中,Dist(S ,S )表示在本体中构成 与 问最短路径 的边的数量。 图像内容组成的基本要素,是人识别图像的主要感知特征 之一。通过JSEG分割算法而得到的子区域具有色彩相似 性,容易想到选取其平均色彩作为子区域的颜色特征。但 是由于JSEG分割算法的误差导致分割出来的子区域中包 在完成对语义问的相似性度量的定义之后,便可以利 用其建立语义相似性图。同样的,采用kNN图的方法完成 语义相似性图的建立。 含了并不属于该区域的部分,可能会使平均色彩的颜色特 4统一图模型的建立 基于上述第2章与第3章所介绍的流程,能分别得到 征不能准确地表示该子区域的颜色特性。因此,选取子区 域的主色彩作为区域的颜色特征。主色彩是通过计算子区 图像相似性图和语义相似性图。但这对于建立一个完整 的关系模型是不够的,还需要找出这两类子图之间的联系 域在HSV颜色空间下的颜色直方图,并取其中最大的组所 包含的像素点的像素平均值。最终得到一个由平均色彩和 Computer Engineering and Applications计算机工程与应用 主色彩组成的颜色特征。 与全局纹理特征提取相似,在提取子区域的纹理特征 时,也使用LBP纹理特征的提取方法。由此可以得到子区 域的纹理特征,并将颜色特征和纹理特征级联得到子区域 的特征。 4.3基于SVM的分类器训练 在完成对图形子区域的特征提取和归一化后,可以得 到一系列由颜色特征和纹理特征组成的特征向量。为了 建立图像中的子区域与语义之间的关系,需要利用SVM对 图5统一的混合图模型 各类物体的样本子区域的特征进行训练,得到一个多类物 (不同类型的边表示不同种类的关系) 体的分类器。通过该分类器就可以得到各子区域被判别 为某一语义类别 , , 【1,12]的概率,即子区域与语义之间 的关系。设图像集,中第 张图像 ,f [1,Ⅳ]含有子区域 数为 。在多类物体分类器的训练阶段,为12个语义类 别中的每一类选取了40个样本子区域进行训练。在完成 训练后,可以对图像中的任意子区域进行识别。由于在图 像分割过程中可能会产生一些零散的过分割区域,这些区 域不仅对图像中的物体识别没有贡献,还会对其他区域的 识别造成影响,因此,只建立了图像中部分子区域与语义 之间的关系。通常情况下,过分割产生的子区域面积总是 相对较小,可以通过取子区域中区域面积较大的部分来减 小过分割子区域对识别产生的影响。取每幅图像中面积 前Is× I,s e[o,1]大的子区域,则对任意图像中面积大小 为前I s× J的子区域R ,f∈[1,Ⅳ],m∈J1,Is× ll,通过该 分类器都可以得到一个概率集P ={P:, l , [1,121},其中 P:J 表示子区域JR 被分类器判别为语义 的概率。同 时,把P 中的最大值 P 作为子区域R 与语义 ( 。 代表… 所对应的语义类别)的联系。实验中,根据经 验把s设置为0.9。 4.4建立统一图模型 图像库中的任意图像与该图像下的子区域都是一对多 的关系,并可计算得到任意图像下的任意子区域R 与语义 的量化关系。在建立统一图模型时,如果子区域 与语 义 之间存在这种量化关系,把该子区域所处的图像 在 图像相似性图中的节点与语义 在语义相似性图中的节点 用一条双向边连接起来,并把…P:一。 一口 作为该有向边的权值。 基于上述方法,完成了对图像相似性图与语义相似性 图之间的关系的构建,从而得到了一个统一的混合图模型, 如图5所示。 孽随 机游走模型的基本思想是,以一个节点为起始点开 …始遍历一张图。对于任意一4-节点,遍历者以概率1一 游 节点,并称 为随机跳转发生概率。每次游走后,可以得 到一个新的概率分布,该概率分布描述了经过该次游走后 图中每个节点被访问到的概率。把得到的概率分布作为 下一次游走的输入并反复迭代这一过程。本文在建立统 一图模型的基础上,使用随机游走的方法来获取图像与语 义之间联系的紧密程度,即完成对图像中物体的识别。 设G={ ,E},G表示统一的混合图模型。V=DUS表 示G中的所有节点,D表示图像节点集, 表示语义节点 集。E=E UE—U 表示G中所有的边,如果边E 是边 集 中的一个元素,则i∈D且J∈D;同样的,若E ∈E一, 则i∈S且J∈S;若E“∈E ,则i∈D且J∈S,或者i∈S 且J∈D。 为了建立随机游走模型,需要将 中所有的边的权值 表示为概率。则对于边集 中的所有边,定义其转移概率: P T”….,(f, =— — ∑ ∑P ? J 1ni 1 其中,i∈D且J∈S,由于对于一个图像节点可能含有多 个具有同一语义的子区域,所以定义m ,k [1,nil表示具 有同一语义 的子区域, 为图像 中含有同一语义 , 子区域的数量。同样的,也得到了当i S,且 ∈D时的 转移概率: T”川(f,寺薹P Rj ,, )=—上 一寺 尸 对于边集E ,E一中的边,相应地分别定义它们的转 移概率。对于f 。且u, JD,有 ”川( , s im (v i, vj) ,r, 舯二 f,r【 , J (vi,V■j) 籽 有 林霄,肖国强,吴松。等:基于随机游走模型的物体识别 鼙 兰 P :1n =l寺j 圭kPS i =l差寺耋 Si (3) ∑sim(v )’‘,f, DN D ‘ ∑ ) ~ ,f∈ n ∈ , I T f_I) ={∞×T (f卜1) (5) l(1一 一co)x T'(tft—I) )( :【 (6) 公式(6)计算了在步长为t的情况下,节点i通过所有 路径转移到节点 的概率的累加。连接两节点间的路径越 多,计算得到的转移概率P(rio)( 越大;转移概率越大,两 节点问的相似度越高。 在图像分割阶段,将图像 分为 ,个子区域。由于 只建立了其中面积前1 s× I大的子区域与语义之间的关 系。所以在完成f步的随机游走后,对于图像节点f可以根 据其与所有语义节点的相似性对12类语义进行排序,得到 语义相似性序列Rank 。最后取序列Rank。中前ls×M I大 的数据对应的语义作为图像i中物体识别的结果。 6实验 本文的实验图像集是MIT-CSAIL Database of O ects and Scenes中的2 400张图像,每幅图像大小为256像素× 256像素。其中包含八种场景,每种场景300张图像中都包 含多个组成场景的物体。从中选取了12类物体作为实验 对象。 6.1全局特征的选取 为了能更好地表达图像间的相似关系,需要选取一些 能较好表达图像全局信息的视觉特征。由此,从实验图像 集中选取了8类图像,每类图像100张。并分别对边缘方 向直方图(Edge orientation histogram,Edge) 、Gabor t]x波 纹理特征(Gabor wavelets texture,Gabor) 、LBP纹理特 征、颜色直方图四种不同的全局特征,以及两种组合特征 进行性能比较。对于每一类图像,都随机选取一张图像作 为该类图像的中心,并用kNN算法计算各类图像中心在六 种不同的全局特征下选取k个近邻时的正确率。实验结果 如图6所示。 册 器 选取近邻数 个 图6全局特征精度的比较 可以看到,组合特征明显比单一特征具有更好的性 能。在两种组合特征中,由LBP纹理特征和颜色直方图组 成的特征更能表达图像中的全局信息。所以,本文使用30 维的颜色直方图与59维的LBP纹理特征作为图像的全局 特征。 6.2变量的取值 在设置融合参数 和CO之前,需要设置另外两个参数 的值:构建图像相似性图和语义相似性图时,使用算法中的 参数 ;随机游走模型中随机游走的步长t。 对于参数k,文献[11】中证明了在基于图模型的机器学 林霄,肖国强,吴松,等:基于随机游走模型的物体识别 2013,49(21) 15l 当其关联准确性高于0.55时,通过随机游走模型能够有效 提高仅基于视觉特征的物体识别算法的识别能力。 [8]Paatero P,Tapper U.Positive matrix factorization:a non—nega— tive factor model with optimal utilization of error estimates of data values[J].Environmetrics,1994,5(2):111—126. 7结束语 本文提出了一种基于随机游走模型的物体识别算法。 [9]Deng Yining,Manjunath B S.Unsupervised segmentation of color-texture regions in images and video[J].IEEE Transac— tions on Pattern Analysis and Machine Intelligence,200 1,23 该算法用图模型表达各类图像、语义之间潜在的联系,并构 建随机游走模型把这种联系应用到物体识别的过程中。 f8). 实验证明,本文提出的识别算法具有较强的识别能力。 [1O】Ojala T,Pietikainen M,Maenpaa T.Multiresolution gray—scale and rotation invariant texture classiicatifon with local binary patterns[J].IEEE Transactions on Pattern Analysis and Ma— 参考文献: [1]Papadopoulos G,Mezaris V,Kompatsiaris I,et a1.Probabilistic combination of spatial context with visual and co・occu ̄ence chine Intelligence,2002,24(7):971—987. 【11]Zhu X.Semi—supervised learning with graphs[D].Pittsburgh, PA,2005. information for semantic image analysis[C]//IEEE International Conference on Image Processing(ICIP),20 1 0. [12】Gruber T R.A translation approach to portable ontology spec— ifications[J].Knowledge Acquisition,1993,5(2):199—211. [13]Resnik P.Using information content to evaluate semantic similarity in a taxonomy[C]//Proceedings of the International Joint Conference on Artiifcial Intelligence,Montreal,Canada, [2]Escalante H J,Montes—Y・Gom6z M,Sucar L E.An energy— based model for region—labeling[J].Computer Vision and Im— age Understanding,2011,115:787・803. 【3】Fergus R,Perona P,Zisserman A.Object class recognition by unsupervised scale—invariant learning[C]//Proceedings of the IEEE Conference on Computer Vision and Pattern Recogni— tion,2003. 1995:448—453. 【14]Eiron N,McCurley K S,Tomlin J A.Ranking the web Iron— tier[C]//Proc wwW’04.New York,2004:309—318. [15】Page L,Brin S,Motwani R,et a1.The pagerank citation rank・ ing:bringing order to the Web,SIDLWP一1999—0120[R].1999. 【16]Jain A K,Vailaya A.Image retrieval using color and shape[J]. Patt Recogn,1996,29(8):1233—1244. [4】Jolliffe I T.Principal component analysis[M]_[s.1.]:Springer, 2002. [5]Hyv) ̄arinen A,Karhunen J,Oja E.Independent component analysis[M].[S.1.】:John Wiley&Sons,2001. 【6]Lee D D,Seung H s.Learning the parts of objects by non—neg— ative matrix factorization[J].Nature,1999,401:788—791. [7]Murase H,Nayar S K.Visual learning and recognition of 3-d [17】Lades M,Vorbruggen J C,Buhmann J,et a1.Distortion invari— ant object recognition in the dynamic link architecture[J]. IEEE Trans on Comput,1993,42(3):300—311. objects from appearance[J].Intern Journal of Computer Vision, l995,14(I):5.24. [18]郑伟,王朝坤,刘璋,等.一种基于随机游走模型的多标签分 类算法[J].计算机学报,2010,33(8):1418-1426. (上接144页) Science 5211:ECML/PKDD(1),2008:3-4. 上的处理效果还不是很好。自适应地确定聚类数目能够 给用户带来极大的方便。 [2]Pollard D.Strong consistency of Kmeans clustering[J].Ailnals of Statistics,1981,9:135—140. [3]Huang Z.Extensions to the Kmeans algorithm for clustering 6结束语 Krneans算法是一种应用非常广泛的聚类算法,但它对 large data sets with categorical values[J].Data Mining and Knowledge Discover,1998,2. [4]张文明,吴江,袁小蛟.基于密度和最近邻的K-means文本聚类 初始聚类中心的依赖性较强,容易陷入局部最优解。本文 提出的KCG能够从全局角度均衡地选取初始聚类中心,确 定聚类数目,增加找到全局最优解的可能。 算法【J].计算机应用,2010,30(7):1933 1934. [5】Gan Wenyan,Li Deyi.Hierarchical clustering based on kernel density estimation[J].Journal of System Simulation,2004,16 (2):302—309. 有效性分析和实验表明,KCG较大地提高了聚类性 能。但该算法仍然没有解决Kmeans算法处理非球形数 据、流行数据集的聚类效果,如何拓展Kmeans算法的适用 范围是下一步要做的工作。 [6杨善林,61李永森,胡笑旋,等.K-means算法中的|}i值优化问题研 究[J].系统工程理论与实践,2006(2):97—101. [7]张健沛,杨悦,杨静,等.基于最优划分的K-Means初始聚类中 心选取算法[J].系统仿真学报,2009,21(9):2586—2590. [8曹志宇,张忠林,8]李元韬.快速查找初始聚类中心的/(means算 法[J].兰州交通大学学报,2009,28(6):15-18. [9]Mimaroglu S,Erdil E.Combining multiple clusterings using similarity graph[J].Pattern Recognition,2011,44. 参考文献: [1]Jain A K.Data clustering:50 years beyond Kmeans[C]//Dae— lemans W,Goethals B,Morik K.Lecture Notes in Computer