检索结果-内蒙古大学图书馆

Trace-based automatic padding for locality improvement with correlative data visualization interface

Trace-based automatic padding for locality improvement with ...

10th workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE international Parallel and Distributed Processing Symposium

作者： Hoebbel, Marco Rauber, thomas Scholtes, Carsten Univ Bayreuth Fachgrp Informat D-95440 Bayreuth Germany

ISBN: (纸本)9781424416936

the efficient use of the cache hierarchy of an execution platform often has a major impact on the performance of an application. It is often difficult for the application programmer or the compiler to determine a suitable memory layout for the application data, since the interactions between the memory accesses cannot be fully anticipated before the program execution. this paper introduces an approach to improve the cache efficiency by dynamically padding memory allocations by a post-compilation tool. data structures like histograms are used to evaluate cache simulations of memory traces of the application considered and to compute optimized pad sets. these can then be used for later runs of the application with different data sets. the accumulated representation of the references' memory accesses additionally offers a visualization interface to the algorithm-specific memory access pattern of each reference captured. As implied above, the advantage of the method is that it also allows for an improvement of the cache usage of binary only applications for which no source code is available. Post optimization cache behavior analyses as well as run-time measurements show that the cache hit rates of the runtime-modified applications are considerably increased by applying the generated pad set.

关键词： cache optimization automated dynamic padding memory traces performance visualization

来源：评论

学校读者我要写书评

暂无评论

Structural inference for semistructured data 01

Structural inference for semistructured data

引用

Proceedings of the 2001 ACM CIKM: 10th international Conference on Information and Knowledge Management

作者： Sankey, Jason Wong, Raymond K. Basser Dept. of Computer Science University of Sydney Sydney NSW 2006 Australia

ISBN: (纸本)9781581134360

Semistructured data presents many challenges, mainly due to its lack of a strict schema. these challenges are further magnified when large amounts of data are gathered from heterogeneous sources. We address this by investigation and development of methods to automatically infer structural information from example data. Using XML as a reference format, we approach the schema generation problem by application of inductive inference theory. In doing so, we review and extend results relating to the search spaces of grammatical inferences. We then adapt a method for evaluating the result of an inference process from computational linguistics. Further, we combine several inference algorithms, including both new techniques introduced by us and those from previous work. Comprehensive experimentation reveals our new hybrid method, based upon recently developed optimisation techniques, to be the most effective.

关键词： data structures

来源：评论

学校读者我要写书评

暂无评论

On projections of sequential pattern structures (with an application on care trajectories) 10

On projections of sequential pattern structures (with an app...

引用

10th international Conference on Concept Lattices and their Applications, CLA 2013

作者： Buzmakov, Aleksey Egho, Elias Jay, Nicolas Kuznetsov, Sergei O. Napoli, Amedeo Raïssi, Chedy LORIA CNRS Inria NGE - U. de Lorraine Vandœuvre-lès-Nancy France National Research University Higher School of Economics Moscow Russia

In this paper, we are interested in the analysis of sequential data and we propose an original framework based on FCA. For that, we introduce sequential pattern structures, an original specification of pattern structures for dealing with sequential data. Sequential pattern structures are given by a subsumption operation between set of sequences, based on subsequence matching. To avoid a huge number of resulting concepts, domain knowledge projections can be applied. the original definition of projections is revised in order to operate on sequential pattern structures in a meaningful way. Based on the introduced definition, several projections of sequential pattern structures involving domain or expert knowledge are defined and discussed. this projections are evaluated on a real dataset on care trajectories where every hospitalization is described by a heterogeneous tuple with different fields. the evaluation reveals interesting concepts and justify the usage of introduced projections of sequential pattern structures. this research work provides a new and efficient extension of FCA to deal with complex data, which can be an alternative to the analysis of sequential datasets. © paper author(s), 2013.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Local reasoning about programs that alter data structures 15

引用

15th international workshop on Computer Science Logic, CSL 2001 and 10th Annual Conference of the European Association for Computer Science Logic, EACSL 2001

作者： O’Hearn, Peter Reynolds, John Yang, Hongseok Queen Mary University of London United Kingdom Carnegie Mellon University United States University of Birmingham and University of Illinois at Urbana-Champaign United States

ISBN: (纸本)3540425543

We describe an extension of Hoare’s logic for reasoning about programs that alter data structures. We consider a low-level storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic. the assertion language is based on a possible worlds model of the logic of bunched implications, and includes spatial conjunction and implication connectives alongside those of classical logic. Heap operations are axiomatized using what we call the "small axioms", each of which mentions only those cells accessed by a particular command. through these and a number of examples we show that the formalism supports local reasoning: A specification and proof can concentrate on only those cells in memory that a program accesses. this paper builds on earlier work by Burstall, Reynolds, Ishtiaq and O’Hearn on reasoning about data structures. © Springer-Verlag Berlin Heidelberg 2001.

关键词： data structures

来源：评论

学校读者我要写书评

暂无评论

Visualization of Graph structures with Magnetic-Spring Model and Color-Coded Interaction

Visualization of Graph Structures with Magnetic-Spring Model...

引用

10th international Baltic Conference on databases and Information Systems (DB and IS)

作者： Zabiniako, Vitaly Riga Tech Univ Riga Latvia

ISBN: (纸本)9781614991618;9781614991601

In this paper author provides description of the original approach for visual analysis of data represented with general graphs, based on modification of magnetic-spring model and color-coded cognitive manipulation with graph elements. the theoretical background of magnetic fields in application to graph drawing is presented along with discussion of appropriate visualization techniques for improved information analysis and comprehension. Usage of other existing graph layout strategies (e. g. hierarchical, circular) in conjunction with magnetic-spring approach are also considered for improved data representation capabilities. A concept of integrated virtual workshop for graph visualization is introduced which relies on aforementioned model and can be used in GVS (Graph Visualization Systems). A case study of application of proposed approach is presented along with conclusions of its usability and potential future work in this field.

关键词： Graph analysis magnetic-spring model color-coded interaction

来源：评论

学校读者我要写书评

暂无评论

Spectral consensus strategy for accurate reconstruction of large biological networks

引用

BMC BIOINFORMATICS 2016年第SUPPL 16期17卷 85-97页

作者： Affeldt, Severine Sokolovska, Nataliya Prifti, Edi Zucker, Jean-Daniel Hop La Pitie Salpetriere AP HP ICAN Integr F-75013 Paris France UPMC Univ Paris 6 Sorbonne Univ NutriOm Team UMR S U1166 F-75013 Paris France INSERM Nutri Team UMR S U1166 F-75013 Paris France IRD France UMMISCO UMI 209 F-93143 Bondy France

Background: the last decades witnessed an explosion of large-scale biological datasets whose analyses require the continuous development of innovative algorithms. Many of these high-dimensional datasets are related to large biological networks with few or no experimentally proven interactions. A striking example lies in the recent gut bacterial studies that provided researchers with a plethora of information sources. Despite a deeper knowledge of microbiome composition, inferring bacterial interactions remains a critical step that encounters significant issues, due in particular to high-dimensional settings, unknown gut bacterial taxa and unavoidable noise in sparse datasets. Such data type make any a priori choice of a learning method particularly difficult and urge the need for the development of new scalable approaches. Results: We propose a consensus method based on spectral decomposition, named Spectral Consensus Strategy, to reconstruct large networks from high-dimensional datasets. this novel unsupervised approach can be applied to a broad range of biological networks and the associated spectral framework provides scalability to diverse reconstruction methods. the results obtained on benchmark datasets demonstrate the interest of our approach for high-dimensional cases. As a suitable example, we considered the human gut microbiome co-presence network. For this application, our method successfully retrieves biologically relevant relationships and gives new insights into the topology of this complex ecosystem. Conclusions: the Spectral Consensus Strategy improves prediction precision and allows scalability of various reconstruction methods to large networks. the integration of multiple reconstruction algorithms turns our approach into a robust learning method. All together, this strategy increases the confidence of predicted interactions from high-dimensional datasets without demanding computations.

关键词： Network reconstruction Community-based method Spectral theory High-dimensional data Microbiota

来源：评论

学校读者我要写书评

暂无评论

Automated digital geological mapping based on 3D photogrammetry 10

Automated digital geological mapping based on 3D photogramme...

引用

10th Asian Rock Mechanics Symposium, ARMS 2018

作者： Zhang, Peng Tannant, Dwayne D. Zhu, Hehua Nanjing Tech University Nanjing210009 China University of British Columbia KelownaV1V 1V7 Canada Tongji University Shanghai200009 China

ISBN: (纸本)9789811190032

this paper briefly introduces a series of workflows for automated digital geological mapping based on 3D photogrammetry. the 3D photogrammetry technique can produce a detailed 3D digital model of the area of interest including point cloud data to characterize the geometric features of geological structures in the scene and image data to characterize the visual features in the scene. the proposed workflow uses double-nested mean-shift clustering and region growth to extract discontinuity surfaces from point clouds. Discontinuities traces can be extracted from image data using a hybrid global and local threshold method and integrating a series of image-processing algorithms. the trace’s corresponding coordinates are acquired by linking the pixel locations corresponding to the identified traces in an image to the 3D coordinates in the point cloud based on fusing the point cloud data and image data. Finally, geological analysis can be performed to accurately measure the spatial geometry characteristics of the mapped discontinuities. © 2018 ISRM & SRMEG (Singapore)

关键词： data fusion

来源：评论

学校读者我要写书评

暂无评论

A verified algebra for linked data 10

A verified algebra for linked data

引用

10th international workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011

作者： Horne, Ross Sassone, Vladimiro Electronics and Computer Science University of Southampton United Kingdom

A foundation is investigated for the application of loosely structured data on the Web. this area is often referred to as Linked data, due to the use of URIs in data to establish links. this work focuses on emerging W3C standards which specify query languages for Linked data. the approach is to provide an abstract syntax to capture Linked data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. the derived algebra is a contribution to the application domain. For instance, the algebra may be used to rewrite a query to optimise its distribution across a cluster of servers. the framework used to provide the operational semantics is powerful enough to model related calculi for the Web.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

the Necessity of Emotion Recognition from Speech Signals for Natural and Effective Human-Robot Interaction in Society 5.0 10

The Necessity of Emotion Recognition from Speech Signals for...

引用

10th international Symposium on Digital Forensics and Security (ISDFS)

作者： Ulgen Sonmez, Yesim Varol, Asaf Firat Univ Fac Technol Software Engn Elazig Turkey Maltepe Univ Coll Engn & Nat Sci Comp Engn Istanbul Turkey

ISBN: (纸本)9781665497961

the history of humanity has reached Industry 4.0 that aims to the integration of information technologies and especially artificial intelligence with all life-sustaining mechanisms in the 21st century, and consecutively, the transformation of Society 5.0 has begun. Society 5.0 means a smart society in which humans share life with physical robots and software robots as well as smart devices based on augmented reality. Industry 4.0 contains main structures such as the internet of things, big data analytics, digital transformation, cyber-physical systems, artificial intelligence, and business processes optimization. It is impossible to consider the machines to be without emotions and emotional intelligence within the transformation of smart tools and artificial intelligence, in addition, while it is planned to give most of the commands with voice and speaking, it became more important to develop algorithms that can detect emotions. In the smart society, new and rapid methods are needed for speech recognition, emotion recognition, and speech emotion recognition areas to maximize human-computer (HCI) or human-robot interaction (HRI) and collaboration. In this study, speech recognition and speech emotion recognition studies in robot technology are investigated and developments are revealed.

关键词： speech data speech emotion recognition speech recognition robots

来源：评论

学校读者我要写书评

暂无评论

On revealing replicating structures in multiway data: A novel tensor decomposition approach

On revealing replicating structures in multiway data: A nove...

引用

10th international Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012

作者： Phan, Anh Huy Cichocki, Andrzej Tichavský, Petr Mandic, Danilo P. Matsuoka, Kiyotoshi Brain Science Institute - RIKEN Japan Institute of Information Theory and Automation Czech Republic Imperial College London United Kingdom Kyushu University of Technology Japan EE Dept. Warsaw University of Technology Systems Research Institute Poland

ISBN: (纸本)9783642285509

A novel tensor decomposition is proposed to make it possible to identify replicating structures in complex data, such as textures and patterns in music spectrograms. In order to establish a computational framework for this paradigm, we adopt a multiway (tensor) approach. To this end, a novel tensor product is introduced, and the subsequent analysis of its properties shows a perfect match to the task of identification of recurrent structures present in the data. Out of a whole class of possible algorithms, we illuminate those derived so as to cater for orthogonal and nonnegative patterns. Simulations on texture images and a complex music sequence confirm the benefits of the proposed model and of the associated learning algorithms. © 2012 Springer-Verlag.

关键词： Tensors

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：