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

26th IEEE international conference on Image Processing (ICIP)

作者： Kao, Jiun-Yu Ortega, Antonio Tian, Dong Mansour, Hassan Vetro, Anthony Univ Southern Calif Dept Elect & Comp Engn 3740 McClintock Ave Los Angeles CA 90089 USA MERL 201 Broadway Cambridge MA 02139 USA InterDigital 4 Res WaySuite 300 Princeton NJ 08540 USA

ISBN: (纸本)9781538662496

Understanding human activity based on sensor information is required in many applications and has been an active research area. With the advancement of depth sensors and tracking algorithms, systems for human motion activity analysis can be built by combining off-the-shelf motion tracking systems with application-dependent learning tools to extract higher semantic level information. Many of these motion tracking systems provide raw motion data registered to the skeletal joints in the human body. In this paper, we propose novel representations for human motion data using the skeleton-based graph structure along with techniques in graph signal processing. Methods for graph construction and their corresponding basis functions are discussed. the proposed representations can achieve comparable classification performance in action recognition tasks while additionally being more robust to noise and missing data.

关键词： Human activity analysis graph-based representation motion capture data 3D action recognition

来源：评论

学校读者我要写书评

暂无评论

Multi-core On-the-Fly Saturation 25th

Multi-core On-The-Fly Saturation

引用

25th international conference on tools and algorithms for the construction and analysis of systems (TACAS) held as part of the 22nd European Joint conferences on theory and Practice of Software (ETAPS)

作者： van Dijk, Tom Meijer, Jeroen van de Pol, Jaco Univ Twente Formal Methods & Tools Enschede Netherlands Johannes Kepler Univ Linz Formal Models & Verificat Linz Austria Univ Aarhus Dept Comp Sci Aarhus Denmark

ISBN: (纸本)9783030174651;9783030174644

Saturation is an efficient exploration order for computing the set of reachable states symbolically. Attempts to parallelize saturation have so far resulted in limited speedup. We demonstrate for the first time that on-the-fly symbolic saturation can be successfully parallelized at a large scale. To this end, we implemented saturation in Sylvan's multi-core decision diagrams used by the LTSmin model checker. We report extensive experiments, measuring the speedup of parallel symbolic saturation on a 48-core machine, and compare it with the speedup of parallel symbolic BFS and chaining. We find that the parallel scalability varies from quite modest to excellent. We also compared the speedup of on-the-fly saturation and saturation for pre-learned transition relations. Finally, we compared our implementation of saturation with the existing sequential implementation based on Meddly. the empirical evaluation uses Petri nets from the model checking contest, but thanks to the architecture of LTSmin, parallel on-the-fly saturation is now available to multiple specification languages. Data or code related to this paper is available at: [34].

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Lightweight Coordination of Multiple Independent Visual Analytics tools 10

Lightweight Coordination of Multiple Independent Visual Anal...

引用

14th international Joint conference on Computer Vision, Imaging and Computer Graphics theory and Applications (VISIGRAPP) / 10th international conference on Information Visualization theory and Applications (IVAPP)

作者： Schulz, Hans-Jorg Roehlig, Martin Nonnemann, Lars Aehnelt, Mario Diener, Holger Urban, Bodo Schumann, Heidrun Aarhus Univ Dept Comp Sci Abogade 34 DK-8200 Aarhus N Denmark Univ Rostock Inst Comp Sci Albert Einstein Str 22 D-18059 Rostock Germany Fraunhofer Inst Comp Graph Res Joachim Jungius Str 11 D-18059 Rostock Germany

ISBN: (纸本)9789897583544

With the advancement of Visual Analytics (VA) and its spread into various application fields comes along a specialization of methods and tools. this adds complexity and requires extra effort when devising domain-dependent VA solutions, as for every new domain question a new specialized tool or framework must be developed. In this paper, we investigate the possibility of using and re-using existing tools - domain-dependent and general-purpose - by loosely coupling them into specialized VA tool ensembles as needed. We call such coupling among independent tools lightweight coordination, as it is minimally-invasive, pair-wise, and opportunistic in utilizing whichever interface a VA tool offers. We propose the use of lightweight coordination for managing the workflow, the data flow, and the control flow among VA tools, and we show how it can be supported with suitable setups of the multiple tool UN involved. this concept of lightweight coordination is exemplified with a health care scenario, where an ensemble of independent VA tools is used in a concerted way to pursue the visual analysis of a patient's troublesome vital data.

关键词： Visual Analytics Software Integration View Coordination Unified Interface

来源：评论

学校读者我要写书评

暂无评论

A Robust Current Controller Design Method for Highly Nonlinear Synchronous Reluctance Motors

A Robust Current Controller Design Method for Highly Nonline...

引用

the 10th international conference on Power Electronics, Machines and Drives (PEMD 2020)

作者： I. Z. Petrić A. Galassini S. Wang D. Prystupa M. Degano G. Buticchi C. Gerada Power Electronics Machines and Control Group University of Nottingham Nottingham United Kingdom Zhejiang Key Laboratory on the More Electric Aircraft Technologies University of Nottingham Ningbo China

Due to the rotor construction, Synchronous Reluctance (SynRel) machines exhibit high magnetic saturation and cross-saturation. this leads to strongly variable dq inductances, which affect the current loop response. In order to achieve constant current loop dynamics, controller gains need to be adapted according to the current bias. In this paper, three different methods for implementing a PI current controller are analyzed and tested. the magnetic characteristics of the tested SynRel are obtained using the FEA and also a state-of-the-art experimental procedure. the experimental verification of the current loop response is given for a 15 kW 3-phase SynRel motor, using a standard industrial 3-phase inverter.

关键词： digital control reluctance motor drives machine windings finite element analysis rotors robust control electric current control invertors control system synthesis machine control PI control nonlinear control systems

来源：评论

学校读者我要写书评

暂无评论

Comparative study of two different MOOC forums posts classifiers: analysis and generalizability issues 10

Comparative study of two different MOOC forums posts classif...

引用

10th international conference on Information, Intelligence, systems and Applications (IISA)

作者： Ntourmas, Anastasios Avouris, Nikolaos Daskalaki, Sophia Dimitriadis, Yannis Univ Patras Dept Elect & Comp Engn Patras Greece Univ Valladolid Sch Telecommun Engn Valladolid Spain

ISBN: (纸本)9781728149592

Massive Open Online Courses (MOOCs) offer a wide range of opportunities for learning. their growing popularity has resulted in a large amount of data being available for learning analytics purposes. A major problem of MOOCs is the overwhelming number of posts in their discussion forums. the forum is a key part of the learning process within a MOOC, so this information overload affects negatively the participants' learning experience. Automatic classification of the posts can help searching of relevant information for both the learners and teaching assistants. In this study, we address this problem by building two multiclass classification models, using natural language processing techniques, that classify the posts according to a three-category coding scheme. Each model was created with data derived from a MOOC of different subject matter. the main goal was to evaluate each model's accuracy along with its generalizability to courses of different subject matter. this study contributes to the line of research for automatic classification of forum discussions, ultimately aiming at the development of tools that may assist participants while searching in the forum. Furthermore it provides insights on the main issues that inhibit generalization of classifiers created for a specific subject matter and investigate how their linguistic features relate to this inhibition.

关键词： MOOC learning analytics discussion forums classification of posts

来源：评论

学校读者我要写书评

暂无评论

Semistructured Merge in JavaScript systems 34

Semistructured Merge in JavaScript Systems

引用

34th IEEE/ACM international conference on Automated Software Engineering (ASE)

作者： Tavares, Alberto Trindade Borba, Paulo Cavalcanti, Guilherme Soares, Sergio Univ Fed Pernambuco Recife PE Brazil

ISBN: (纸本)9781728125084

Industry widely uses unstructured merge tools that rely on textual analysis to detect and resolve conflicts between code contributions. Semistructured merge tools go further by partially exploring the syntactic structure of code artifacts, and, as a consequence, obtaining significant merge accuracy gains for Java-like languages. To understand whether semistructured merge and the observed gains generalize to other kinds of languages, we implement two semistructured merge tools for JavaScript, and compare them to an unstructured tool. We find that current semistructured merge algorithms and frameworks are not directly applicable for scripting languages like JavaScript. By adapting the algorithms, and studying 10,345 merge scenarios from 50 JavaScript projects on Github, we find evidence that our JavaScript tools report fewer spurious conflicts than unstructured merge, without compromising the correctness of the merging process. the gains, however, are much smaller than the ones observed for Java-like languages, suggesting that semistructured merge advantages might be limited for languages that allow both commutative and non-commutative declarations at the same syntactic level.

关键词： Collaborative development Software merging Semistructured merge Version control systems JavaScript

来源：评论

学校读者我要写书评

暂无评论

Text Mining in the Domain of Plant Genetic Resources

Text Mining in the Domain of Plant Genetic Resources

引用

international IEEE conference on Intelligent systems, IS

作者： Ivan Popchev Daniela Orozova Intelligent Systems Department Bulgarian Academy of Sciences Sofia Bulgaria Faculty of Computer Science Burgas Free University Institute of Information and Communication Technologies Bulgarian Academy of Sciences Sofia Bulgaria

ISBN: (数字)9781728154565

ISBN: (纸本)9781728154572

Upcoming is the construction of informational and social spaces which integrate heterogeneous technologies and various approaches to the collection, storage and processing of information related to the plant genetic resources of Bulgaria. In the present paper a multistage algorithm for automatic analysis of documents from the area of plant genetic resources is proposed. Determination of the significant words in the document and the type of its content is carried out based on the object-oriented ontologies in the field. By applying software instruments for classification, testing and evaluation, the documents are classified into related and not related to the studied subject area - agriculture and plant genetic resources of Bulgaria.

关键词： Ontologies Genetics Agriculture Task analysis Semantics Text analysis Plants (biology)

来源：评论

学校读者我要写书评

暂无评论

LAK十周年:引领与塑造领域之未来--2020学习分析与知识国际会议评述

引用

远程教育杂志 2020年第4期38卷 15-26页

作者：吴永和程歌星刘博文朱丽娟马晓玲华东师范大学教育学部教育信息技术学系华东师范大学经济与管理学部工商管理学院上海200062

受全球疫情影响,“第十届学习分析与知识国际会议”(LAK 2020)于2020年3月23-27日在线召开。本次会议主题为“LAK十年:塑造领域的未来”,大会内容集中体现了LAK十年(2011-2020)的主题发展及演变趋势。在重笔勾勒学习分析领域研究现状的... 详细信息

受全球疫情影响,“第十届学习分析与知识国际会议”(LAK 2020)于2020年3月23-27日在线召开。本次会议主题为“LAK十年:塑造领域的未来”,大会内容集中体现了LAK十年(2011-2020)的主题发展及演变趋势。在重笔勾勒学习分析领域研究现状的同时,也透视出学习分析领域的未来发展趋向,以充分把握学习分析领域的“过去”和“未来”。对LAK十年发展的分析表明:从理解学习、设计学习、计算与追踪学习、评估与改进学习、学习分析之“新”这五个视角来看,人工智能、虚拟现实等技术将促进学习分析领域的包容性发展;脑神经科学和学习分析的深度融合,也在推动“帮助决策”向“高阶素养”转变;学习分析研究将从局部探索转向一体化的系统级研究,促进多方利益共同体参与学习分析生态的构建,并极大地助力于未来教育。以上立足于学习分析领域发展所进行的对其未来趋势的积极思考,为学习分析学的研究发展和实践应用提供了有益的借鉴。

关键词：学习分析学习分析与知识国际会议理解学习评估与反馈学习分析新应用未来发展学习分析学

来源：评论

学校读者我要写书评

暂无评论

Building informatics neural network and regression heuristics protocol for making decisions in building construction projects 10

Building informatics neural network and regression heuristic...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Amusan, Lekan M. Omuh, Ignatius O. Mosaku, Timothy O. Dept of Building Technology Covenant University Ota Nigeria

ISBN: (纸本)9780996043762

Building Informatics is a body of knowledge that uses the ICT computer system, digital systems, building information modeling, and state-of-the-art software in solving technical and management issues in building and construction fields. One of the modern methods used in data forecasting and modeling is Artificial Neural Networks, considering its advantage over traditional regression method. A data sample was taken of 1500 residential building projects’ completion costs. Regression analysis was carried out and model validated with functionality and Jackknife re-sampling technique. 150 Questionnaires were used to capture data on factors influencing application of heuristics protocol for decisions in residential building construction projects and data samples were analyzed using severity index, ranking, and simple percentages. analysis of data brought up some factors that influence effective application of heuristic protocol in solving decision problems in construction decision process. the linearity analysis was carried out on the model and results indicated high level of tolerance and -0.0876 lowest variation prediction quotients to 0.9878 highest variation quotients. Also, 0.069 regression model fitness coefficient (R-square) was generated with 0.9878 highest variation quotients with standard error of 0.045. the results data attests to the stability of the model generated and the model is flexible in accommodating new data and variables, thus, allows for continuous updating. Copyright © 2019 ISEC Press.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Asset condition assessment model framework for healthcare facilities 10

Asset condition assessment model framework for healthcare fa...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Salem, Dalia Elwakil, Emad School of Construction Management Purdue University West Lafayette United States

ISBN: (纸本)9780996043762

the poor healthcare facilities performance costs the USA tens billions of dollars each year. there are several factors affect the critical assets of healthcare facilities such as the physical condition of the facility, infection prevention, life safety, and hospital revenue loss. the objective of this research is to develop an asset condition assessment model for healthcare facilities. the model identifies several factors, especially the condition, capacity, and code compliance of a facility’s infrastructure. the asset condition assessment model has been developed based on the mechanical, electrical and plumping systems and evaluates the asset condition based on its age, life expectancy, recent condition assessment and energy efficiency among other factors. the data was collected from different hospitals in Indiana. this model has been developed using the Regression analysis technique. the model has been validated through analytical and mathematical methods. Results showed average validity at 88.32%. the developed model will help the healthcare facilities managers to prioritize the budget allocation and to reduce the impact of consequences of asset failure, which will improve the healthcare infrastructure performance. Copyright © 2019 ISEC Press.

关键词： Hospitals

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：