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

XML Document Recommendation by Using Case Based Reasoning

XML Document Recommendation by Using Case Based Reasoning

ACIS International Conference on software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Sutheetutt Vacharaskunee Sarun Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand

ISBN: (纸本)9781424474226;9780769540887

Case Based Reasoning (CBR) is the process of solving new problem based on the solutions of similar previous problems. XML is a markup language that allows document owners describe their data in their own formats. There might be the same information has been described in various ways. This makes searching those information from different formats difficult. CXDR (CBR for XML Document Recommendation) is an idea to make searching XML documents easier. CXDR applies CBR framework to collect the mostly use XML document and recommend it to its user. CBR in CXDR consists of two parts, cases and knowledge. The case is XML documents and the knowledge is an XML document recommendation. The recommendation from CXDR is the most use XML element names and structure.

关键词： XML Keyword search Information retrieval Markup languages Database languages software engineering Artificial intelligence Distributed computing software systems systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

From Limen to Lumen: Computing students in liminal spaces 07

From Limen to Lumen: Computing students in liminal spaces

引用

3rd International Computing Education Research Workshop, ICER'07

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Sanders, Kate Thomas, Lynda Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Computing Science Umeå University 901 87 Umeå Sweden Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science University of Wales Aberystwyth Wales Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781595938411

This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often troublesome to learn. The word "threshold" might imply that students cross the threshold in a single "aha" moment, but often they seem to take longer. Meyer and Land introduce the term "liminal space" for the transitional period between beginning to learn a concept and fully mastering it. Based on in-depth interviews with graduating seniors, we found that the liminal space can provide a useful metaphor for the concept learning process. In addition to observing the standard features of liminal spaces, we have identified some that may be specific to computing, specifically those relating to levels of abstraction. Copyright 2007 ACM.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Graduating students' designs - Through a phenomenographic lens 14

Graduating students' designs - Through a phenomenographic le...

引用

10th Annual International Conference on International Computing Education Research, ICER 2014

作者： Thomas, Lynda Eckerdal, Anna McCartney, Robert Moström, Jan Erik Sanders, Kate Zander, Carol Department of Computer Science Aberystwyth University Aberystwyth United Kingdom Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Computing Science Umeå University 901 87 Umeå Sweden Mathematics and Computer Science Department Rhode Island College Providence RI United States Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781450327558

We expand upon previous research that looked at the question: \Can graduating students design software systems?" Specifically we want to examine students' understanding of the phenomenon\produce a design." What does this instruction mean to them? In order to investigate student understandings, we examined their designs using a phenomenographic approach. Our outcome space includes six understandings: (0) the design a layman might produce;(1) a design with some formal notation;(2) a design that uses formal notations to express the static relationships among the parts;(3) a design that uses formal notation to express sequential (dynamic) information, but does not relate that to the static system parts;(4) a design that includes and relates multiple artifacts, both static and dynamic;and (5) a design that relaxes the notations and includes only essential artifacts. The last understanding was found only in our expert's design, and we do not expect it from undergraduates. Copyright © 2014 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

2M-SELAR: A Model for Mining Sequential Least Association Rules 2nd

2M-SELAR: A Model for Mining Sequential Least Association Ru...

引用

2nd International Conference on Advanced Data and Information engineering, DaEng 2015

作者： Abdullah, Zailani Adam, Omer Herawan, Tutut Noraziah, Ahmad Saman, Md Yazid Mohd Hamdan, Abdul Razak School of Informatics and Applied Mathematics Universiti Malaysia Terengganu Kuala Terengganu21030 Malaysia Faculty of Computer Science and Information Technology Universiti Malaya Kuala Lumpur50603 Malaysia Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang KuantanPahang26300 Malaysia Faculty of Information Science and Technology Universiti Kebangsaan Malaysia BangiSelangor43600 Malaysia

ISBN: (纸本)9789811317972

Recently, mining least association rule from the sequential data becomes more important in certain domain areas such as education, healthcare, text mining, etc. due to its uniqueness and usefulness. However, discovering such rule is a great challenge because it involves with a set of least items which usually holds a very low in term of support. Therefore, in this paper propose a model for mining sequential least association rule (2M-SELAR) that embedded with SELAR algorithm, and Critical Relative Support (CRS) and Definite Factor (DF) measures. The experimental results reveal that 2M-SELAR can successfully generate the desired rule from the given datasets. © Springer Nature Singapore Pte Ltd. 2019.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Recent Developments in Authentication Schemes Used in Machine-Type Communication Devices in Machine-to-Machine Communication: Issues and Challenges

引用

computers, Materials & Continua 2024年第4期79卷 93-115页

作者： Shafi Ullah Sibghat Ullah Bazai Mohammad Imran Qazi Mudassar Ilyas Abid Mehmood Muhammad Asim Saleem Muhmmad Aasim Rafique Arsalan Haider Ilyas Khan Sajid Iqbal Yonis Gulzar Kauser Hameed Department of Computer Engineering Balochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Information Technology Balochistan University of Information TechnologyEngineeringand Management SciencesQuetta87300Pakistan Department of Information Systems College of Computer Sciences and Information TechnologyKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Management Information Systems College of Business AdministrationKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Software Engineering College of ComputingRiphah International UniversityFaisalabad44000Pakistan Department of Electrical Engineering Balochistan University of Information Technology Engineeringand Management SciencesQuetta87300Pakistan Department of Mathematics College of Science Al-ZulfiMajmaah UniversityAl-Majmaah11952Saudi Arabia

Machine-to-machine (M2M) communication plays a fundamental role in autonomous IoT (Internet of Things)-based infrastructure, a vital part of the fourth industrial revolution. Machine-type communication devices(MTCDs) regularly share extensive data without human intervention while making all types of decisions. Thesedecisions may involve controlling sensitive ventilation systems maintaining uniform temperature, live heartbeatmonitoring, and several different alert systems. Many of these devices simultaneously share data to form anautomated system. The data shared between machine-type communication devices (MTCDs) is prone to risk dueto limited computational power, internal memory, and energy capacity. Therefore, securing the data and devicesbecomes challenging due to factors such as dynamic operational environments, remoteness, harsh conditions,and areas where human physical access is difficult. One of the crucial parts of securing MTCDs and data isauthentication, where each devicemust be verified before data transmission. SeveralM2Mauthentication schemeshave been proposed in the literature, however, the literature lacks a comprehensive overview of current M2Mauthentication techniques and the challenges associated with them. To utilize a suitable authentication schemefor specific scenarios, it is important to understand the challenges associated with it. Therefore, this article fillsthis gap by reviewing the state-of-the-art research on authentication schemes in MTCDs specifically concerningapplication categories, security provisions, and performance efficiency.

关键词： Authentication cyber security internet of things machine-type communication devices machine-to-machine communication

来源：评论

学校读者我要写书评

暂无评论

Understanding Quantum Protocols Using Information Visualization

Understanding Quantum Protocols Using Information Visualizat...

引用

IEEE International Symposium on Information (IT) in Medicine and Education, ITME

作者： Xin Huang Quanlong Wang Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University Suzhou China School of Mathematics and Systems Science Beihang University Beijing China

There are many cases where people need to be aware of the security status of their network in order to be able to respond effectively to security risks. Most security mechanisms are however too complex and most users find it difficult to understand the system and respond effectively. There is therefore a need to design understandable security mechanisms. In this paper, we focus on the learnability of complex security protocols which is improved using symmetrical information visualization. From preliminary results, we can see that visualization and symmetry are useful tools for usable security. They are aesthetically pleasing for the user and can improve the understanding of protocols that would otherwise be difficult to comprehend for normal users.

关键词： Security Protocols Visualization Quantum computing Quantum mechanics Usability Wires

来源：评论

学校读者我要写书评

暂无评论

Efficient specialisation in prolog using the hand-written compiler generator LOGEN

Efficient specialisation in prolog using the hand-written co...

引用

WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in Connetion with ICLP'99, International Conference on Logic)

作者： Leuschel, Michael Jørgensen, Jesper Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems. © 2000 Published by Elsevier science B.V.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Integrating simulation and numerical analysis in the evaluation of generalized stochastic petri nets

Integrating simulation and numerical analysis in the evaluat...

引用

作者： Zimmermann, Armin Hotz, Thomas Department of Computer Science and Automation Systems and Software Engineering Group Technische Universität Ilmenau Helmholtzplatz 5 Ilmenau98693 Germany Institute for Mathematics Group for Probability Theory and Mathematical Statistics Technische Universität Ilmenau Weimarer Straße 25 Ilmenau98693 Germany

The standard existing performance evaluation methods for discrete-state stochastic models such as Petri nets either generate the reachability graph followed by a numerical solution of equations or use some variant of simulation. Both methods have characteristic advantages and disadvantages depending on the size of the reachability graph and type of performance measure. This article proposes a hybrid performance evaluation algorithm for the steady-state solution of Generalized Stochastic Petri Nets that integrates elements of both methods. It automatically adapts its behavior depending on the available size of main memory and number of model states. As such, the algorithm unifies simulation and numerical analysis in a joint framework. It is proved to result in an unbiased estimator whose variance tends to zero with increasing simulation time. The article extends earlier results with an algorithm variant that starts with a small maximum number of particles and increases them during the run to increase the efficiency in cases that are rapidly solved by regular simulation. The algorithm's applicability is demonstrated through case studies, including an example where it outperforms the standard methods. © 2019 Copyright held by the owner/author(s).

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Students' perceptions of the differences between formal and informal learning 11

Students' perceptions of the differences between formal and ...

引用

7th International Computing Education Research Workshop, ICER 2011

作者： Boustedt, Jonas Eckerdal, Anna McCartney, Robert Sanders, Kate Thomas, Lynda Zander, Carol Division of Technology and Environment University of Gävle Gävle Sweden Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science Aberystwyth University Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781450308298

Research has shown that most learning in the workplace takes place outside of formal training and, given the swiftly changing nature of the field, computer science graduates more than most workers, need to be able to learn computing topics outside of organized classes. In this paper we discuss students' perceptions of the difference between formal and informal learning of computing topics, based on three datasets: essays collected from a technical writing course at a single university;the results of a brainstorming exercise conducted in the same course;and semi-structured interviews conducted at six institutions in three countries. The students report strengths and weaknesses in informal learning. On the one hand, they are motivated, can choose their level of learning, can be more flexible about how they learn, and often retain the material better. On the other hand, they perceive that they may miss important aspects of a topic, learn in an ad hoc way, and have difficulty assessing their learning. © 2011 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Joint product numerical range and geometry of reduced density matrices

引用

science China(Physics,Mechanics & Astronomy) 2017年第2期60卷 9-17页

作者： Jianxin Chen Cheng Guo Zhengfeng Ji Yiu-Tung Poon Nengkun YU Bei Zeng Jie Zhou Joint Center for Quantum Information and Computer Science University of Maryland College Park 20740 USA Institute for Advanced Study Tsinghua University Beijing 100084 China Centre for Quantum Computation ＆ Intelligent Systems School of Software Faculty of Engineering and Information Technology University of Technology Sydney Sydney 2007 Australia State Key Laboratory of Computer Science.Institute of Software Chinese Academy of Sciences Beijing 100084 China Department of Mathematics Iowa State University Ames 50011-2140 USA Institute for Quantum Computing University of Waterloo Waterloo N2L 3G1 Canada Department of Mathematics ＆ Statistics University of Guelph Guelph N1G 2 W1 Canada Perimeter Institute for Theoretical Physics Waterloo N2L 2Y5 Canada

The reduced density matrices of a many-body quantum system form a convex set, whose three-dimensional projection is convex in R3. The boundary of may exhibit nontrivial geometry, in particular ruled surfaces. Two physical mechanisms are known for the origins of ruled surfaces： symmetry breaking and gapless. In this work, we study the emergence of ruled surfaces for systems with local Hamiltonians in infinite spatial dimension, where the reduced density matrices are known to be separable as a consequence of the quantum de Finetti＇s theorem. This allows us to identify the reduced density matrix geometry with joint product numerical range II of the Hamiltonian interaction terms. We focus on the case where the interaction terms have certain structures, such that a ruled surface emerges naturally when taking a convex hull of ∏. We show that, a ruled surface on sitting in ∏ has a gapless origin, otherwise it has a symmetry breaking origin. As an example, we demonstrate that a famous ruled surface, known as the oloid, is a possible shape of , with two boundary pieces of symmetry breaking origin separated by two gapless lines.

关键词： reduced density matrices quantum tomography numerical range quantum information oloid ruled surface

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：