发布求助
文献互助 智能选刊 最新文献

2021 13th International Conference on Knowledge and Systems Engineering (KSE)最新文献

筛选
英文 中文
Arext: Automatic Regular Expression Testing Tool Based on Generating Strings With Full Coverage 基于生成全覆盖字符串的自动正则表达式测试工具
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648604
N. Hoan, Pham Ngoc Hung
{"title":"Arext: Automatic Regular Expression Testing Tool Based on Generating Strings With Full Coverage","authors":"N. Hoan, Pham Ngoc Hung","doi":"10.1109/KSE53942.2021.9648604","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648604","url":null,"abstract":"This paper introduces a testing tool for regular expressions (regexes) named AREXT. AREXT can automatically extract regexes from C++ source files and visually represent them as DFA graphs. Given a regex, AREXT can generate a set of positive and negative strings with 100% coverage of nodes, edges, and edge pairs. We leverage prior works of synthesizing regexes from natural language to create benchmarks for evaluating AREXT. Some current tools, i.e., EGRET and MUTREX, are also being evaluated and compared. Experiments show that AREXT can outperform EGRET as AREXT can detect more unexpected synthesized regexes in almost all benchmarks. The evaluation results indicate that strings with 100% coverage metrics (generated by AREXT) or strings with maximum mutation score (generated by MUTREX) are not enough to ensure the correctness of regexes under test. Experiments also show that combining AREXT, EGRET, and MUTREX can detect a majority of unwanted synthesized regexes (87–91%).","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121871868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An improved computational method for prediction of lncRNA-disease associations based on collaborative filtering and resource allocation 基于协同过滤和资源分配的lncrna -疾病关联预测改进计算方法
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648632
V. Nguyen, D. Tran
{"title":"An improved computational method for prediction of lncRNA-disease associations based on collaborative filtering and resource allocation","authors":"V. Nguyen, D. Tran","doi":"10.1109/KSE53942.2021.9648632","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648632","url":null,"abstract":"Various lncRNAs have been proved to play vital roles in a lot of biological processes. Finding and verifying lncRNA-disease associations contributes to understand human complex disease at molecular level and support the diagnosis, treatment and prevention of complex diseases. It is laboratory, time-consuming and expensive to find and verify lncRNA-disease associations by biological experiments. Therefore, it is urgent to develop a computational method to predict lncRNA-disease associations to save time and resources. In this paper, we proposed an improved computational method for prediction of lncRNA-disease associations based on collaborative filtering and resource allocation. It achieves a reliable prediction performance with both best AUC and AUPR values of 0.983 under 5-fold cross-validation. Additionally, the experimental results show that it is superior to other previous related methods. It could be acknowledged as a forceful and valuable tool to predict lncRNA-disease associations.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125888387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
[Copyright notice] (版权)
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/kse53942.2021.9648793
{"title":"[Copyright notice]","authors":"","doi":"10.1109/kse53942.2021.9648793","DOIUrl":"https://doi.org/10.1109/kse53942.2021.9648793","url":null,"abstract":"","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121866093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model 基于集成知识模型的数学智能问题求解器设计
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648716
H. Nguyen, Linh Nguyen, Nha P. Tran, Van-Thanh Nguyen-Le, Sang Vu
{"title":"Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model","authors":"H. Nguyen, Linh Nguyen, Nha P. Tran, Van-Thanh Nguyen-Le, Sang Vu","doi":"10.1109/KSE53942.2021.9648716","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648716","url":null,"abstract":"Knowledge engineering is one of AI technologies that play a principal role to design intelligent systems. Intelligent Problem Solver (IPS) in education is a useful intelligent system supporting e-learning in the fourth industrial revolution. Discrete Mathematics is one of important courses for the engineering curriculum at universities. In this paper, a knowledge model, which integrates the knowledge of operators and function intellectual, is proposed. This model is used to organize the knowledge base of an IPS in Discrete Mathematics. This system can automatically solve some common exercises with human-readable solutions, especially their reasoning is pedagogy and similar to the way of students' thinking. The experimental results show that the built system is emerging to evolve an intelligent system as a tutor how to solve problems in this course.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124426234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Resolving Inconsistencies in Probabilistic Knowledge Bases by Quantitative Modification 用定量修正方法解决概率知识库中的不一致性
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648673
V. Nguyen, T. Tran, N. Nguyen, Do Kieu Loan Nguyen
{"title":"Resolving Inconsistencies in Probabilistic Knowledge Bases by Quantitative Modification","authors":"V. Nguyen, T. Tran, N. Nguyen, Do Kieu Loan Nguyen","doi":"10.1109/KSE53942.2021.9648673","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648673","url":null,"abstract":"Resolving the inconsistency that appears in knowledge bases is an extremely important stage in the process of merging knowledge bases. With probabilistic context, many studies have solved the inconsistency of a probabilistic knowledge base (PKB) with different approaches. However, these previous focus on addressing the problem of restoring consistency in a PKB by employing the principles of maximum entropy or building the consistency restorer with complex creeping functions. We discover that it is really difficult to find the functions that are utilized in the creeping consistency restorers. Therefore, the process of finding these functions may lead to a poor performance. Based on that, we proposed the inconsistency solvers for a PKB, where we consider revising the functions involved in handling the inconsistency in a simpler direction. Two the inconsistency solvers are the equitable deformation inconsistency solver and the amerced deformation inconsistency solver. Corresponding to each solver, an algorithm to solve inconsistencies in a PKB is proposed. Moreover, the cost of each algorithm also are considered and proved.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131010334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Energy-efficient Airflow Control for Human Thermal Comfort using Object Detection and Monocular Depth Estimation 基于目标检测和单目深度估计的人体热舒适节能气流控制
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648694
Phurich Saengthong, C. Charnsripinyo, Seksan Laitrakun
{"title":"Energy-efficient Airflow Control for Human Thermal Comfort using Object Detection and Monocular Depth Estimation","authors":"Phurich Saengthong, C. Charnsripinyo, Seksan Laitrakun","doi":"10.1109/KSE53942.2021.9648694","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648694","url":null,"abstract":"A split-type air conditioner is installed in many households and buildings to produce a comfortable environment. The air conditioner is still mostly operated with occupant's configurations through the remote control. However, it may unexpectedly affect the occupant's health because of the static configurations. Furthermore, improper configurations can reduce the energy-efficient of the air conditioner usage. To address these challenges, we propose a smart control system that is able to automatically control configurations of the air conditioner, including airflow direction, wind speed, and temperature parameters. The smart control system is operated under an embedded box, including a small-embedded device and a camera sensor. It is applied with occupancy detection through object detection and monocular depth estimation through SSD-MobileNetV2 and FastDepth. The occupancy detection integrated environment sensing from the temperature sensor at the living area can help the embedded box determine the optimum control of the air conditioner. The results show that our smart control approach makes a fast comfortable environment and maintains quality of comfort for the entire period of usage with lower energy consumption.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114477378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Identifying Micro-influencers on Social Media using User Graph Construction Approach 使用用户图构建方法识别社交媒体上的微影响者
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648780
Doan-Thinh Ngo, Cam-Nhung Cao, Phuong-Linh Hoang, Xuan-Bach Ngo, Tien-Dat Nguyen, D. Tran, Trang M. Nguyen, Linh Nguyen Tran Ngoc, Mai-Vu Tran
{"title":"Identifying Micro-influencers on Social Media using User Graph Construction Approach","authors":"Doan-Thinh Ngo, Cam-Nhung Cao, Phuong-Linh Hoang, Xuan-Bach Ngo, Tien-Dat Nguyen, D. Tran, Trang M. Nguyen, Linh Nguyen Tran Ngoc, Mai-Vu Tran","doi":"10.1109/KSE53942.2021.9648780","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648780","url":null,"abstract":"Nowadays Influencers are responsible for setting trends and influencing public opinion on social media. As a result, identifying and uncovering influencers can assist organizations in having a good impact on their users. We investigated influencer recognition techniques utilizing a graph method in this research, with the goal of categorizing influencers into different sectors. The purpose of this paper is to concentrate the report on creating a graph in the social networking platform Facebook in order to locate influencers. A collection of edges and vertices represent this graph. To discover actual influencers, we create graphs and compare the application of two graph ranking algorithms, PageRank and HITS.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126614747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software 基于组件的软件假设保证验证的反例分析方法
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648741
Hoang-Viet Tran, Pham Ngoc Hung
{"title":"A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software","authors":"Hoang-Viet Tran, Pham Ngoc Hung","doi":"10.1109/KSE53942.2021.9648741","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648741","url":null,"abstract":"This paper presents a method for counterexamples analysis during the assume-guarantee verification process of component-based software. The method helps the process use up all possibilities to reach a conclusive result when verifying large scale software. For this purpose, we improve the equivalence queries answering algorithm on Teacher side to return all possible counterexamples when processing an assumption candidate. The returned counterexamples are analyzed on Learner side to find all possible observation tables which correspond to better assumption candidates for later learning iterations. These observation tables are stored in a list which contains all possibilities for the verification process to reach a conclusive result. Discussions about the importance, correctness, and complexity of the proposed method are included.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"22 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123728223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automated Test Data Generation for Typescript Web Applications 为Typescript Web应用程序自动生成测试数据
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648782
Doan Thi Hoai Thu, D. Nguyen, Pham Ngoc Hung
{"title":"Automated Test Data Generation for Typescript Web Applications","authors":"Doan Thi Hoai Thu, D. Nguyen, Pham Ngoc Hung","doi":"10.1109/KSE53942.2021.9648782","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648782","url":null,"abstract":"This research proposes a Pattern-based Unit Testing method, namely PUT, to generate test data automatically for Typescript web applications. The main idea is to analyze the internal structure of source code to detect patterns of attribute usages. These patterns are then used to generate test data directly. An implemented tool and experimental results are presented to demonstrate the effectiveness of PUT in comparison with the automated random method. It shows that PUT could increase function coverage by 3.57 %-23.81 %, statement coverage by 0.5%-27.41 %, and branch coverage by 3.3%-39.24%. Therefore, PUT could provide potential usefulness for automated unit testing of Typescript web applications in practice.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122230108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
UET-Headpose: A sensor-based top-view head pose dataset UET-Headpose:基于传感器的俯视图头部姿势数据集
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Pub Date : 2021-11-10 DOI: 10.1109/KSE53942.2021.9648656
Linh Nguyen Viet, T. N. Dinh, Hoang Nguyen Viet, Duc Tran Minh, Long Tran Quoc
{"title":"UET-Headpose: A sensor-based top-view head pose dataset","authors":"Linh Nguyen Viet, T. N. Dinh, Hoang Nguyen Viet, Duc Tran Minh, Long Tran Quoc","doi":"10.1109/KSE53942.2021.9648656","DOIUrl":"https://doi.org/10.1109/KSE53942.2021.9648656","url":null,"abstract":"Head pose estimation is a challenging task that aims to solve problems related to predicting three dimensions vector, that serves for many applications in human-robot interaction or customer behavior. Previous researches have proposed some precise methods for collecting head pose data. But those methods require either expensive devices like depth cameras or complex laboratory environment setup. In this research, we introduce a new approach with efficient cost and easy setup to collecting head pose images, namely UET-Headpose dataset, with top-view head pose data. This method uses an absolute orientation sensor instead of Depth cameras to be set up quickly and small cost but still ensure good results. Through experiments, our dataset has been shown the difference between its distribution and available dataset like CMU Panoptic Dataset [6]. Besides using the UET-Headpose dataset and other head pose datasets, we also introduce the full-range model called FSANet-Wide, which significantly outperforms head pose estimation results by the UET-Headpose dataset, especially on top-view images. Also, this model is very lightweight and takes small size images.","PeriodicalId":130986,"journal":{"name":"2021 13th International Conference on Knowledge and Systems Engineering (KSE)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130417341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信