Proceedings of the 2020 9th International Conference on Software and Computer Applications最新文献

筛选
英文 中文
Deep Learning in Semantic Segmentation of Rust in Images 深度学习在Rust图像语义分割中的应用
L. D. Duy, Ngo Tuan Anh, Ngo Tung Son, Nguyen Viet Tung, Nguyen Ba Duong, Muhammad Hassan Raza Khan
{"title":"Deep Learning in Semantic Segmentation of Rust in Images","authors":"L. D. Duy, Ngo Tuan Anh, Ngo Tung Son, Nguyen Viet Tung, Nguyen Ba Duong, Muhammad Hassan Raza Khan","doi":"10.1145/3384544.3384606","DOIUrl":"https://doi.org/10.1145/3384544.3384606","url":null,"abstract":"Rust detection is an essential topic in many areas, especially in telecommunication, which needs effective systems to segment and recognize rust on power electric towers, antenna. Our exclusive architecture use is based on a fully convolutional neural network for semantic segmentation and composed of Densenet encoder PSP intermediate layers and two skip connections upsample layers. The code written in Python used Pytorch libraries to compute and categorize the images. Comparing between models such as E-Net, U-Net, FCN, we have received our highest FCN (Fully Convolutional Neural) model for the most stable ratio of IoU (Intersection over Union) in 3 models stated with mean scores are 58.1 for origin images and 61.8 for background removal. With the results, we will contribute to detect rust on electric poles in time to avoid rust-causing serious consequences.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128078948","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}
引用次数: 5
Design of An Automated Testing Tool for Typesetting of Reflowable Documents 可回流文件排版自动测试工具的设计
Kuo Zuo, Ning Li, Yingai Tian, Xia Hou
{"title":"Design of An Automated Testing Tool for Typesetting of Reflowable Documents","authors":"Kuo Zuo, Ning Li, Yingai Tian, Xia Hou","doi":"10.1145/3384544.3384558","DOIUrl":"https://doi.org/10.1145/3384544.3384558","url":null,"abstract":"In order to test the typesetting effect of the same reflowable document in a variety of office software, and point out the difference between the typesetting effect, a tool used for automatically testing the typesetting effect of the reflowable document was designed. With the testing tool, a document to be tested is firstly transformed into an image conforming to test requirements. Next, an automated color marking method is designed for the document in the format of OOXML to look up a reverse correlation between layout objects and typesetting elements by means of the editable feature of the reflowable document, while regularization analysis is utilized to analyze documents in other formats based on the image features of typesetting elements. At last, the effect of typesetting elements is analyzed at the pixel level. According to the experimental result, the test contents using the tool designed in this paper can reach 70% of the level-1 common function points. What's more, both the test efficiency and the accuracy of testing results are better than that performed by manual testing.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130463958","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 Comprehensive Investigation of Universal Verification Methodology (UVM) Standard for Design Verification 设计验证通用验证方法(UVM)标准的综合研究
Shumaila Qamar, Wasi Haider Butt, Muhammad Waseem Anwar, F. Azam, Muhammad Qasim Khan
{"title":"A Comprehensive Investigation of Universal Verification Methodology (UVM) Standard for Design Verification","authors":"Shumaila Qamar, Wasi Haider Butt, Muhammad Waseem Anwar, F. Azam, Muhammad Qasim Khan","doi":"10.1145/3384544.3384547","DOIUrl":"https://doi.org/10.1145/3384544.3384547","url":null,"abstract":"Universal Verification Methodology (UVM) is getting attention of researchers and functional verification community due to its advance flexibility, reusability and reliability features for design verification of multifaceted embedded systems. This is the reason that different tool vendors like Mentor Graphics support UVM-based simulation for design verification. Similarly, researchers frequently explore / utilize UVM to enhance the verification capabilities for embedded systems. In this context, there is a strong need to summarize the latest advancements, tools and techniques for UVM standard. Therefore, this article performs a Systematic Literature Review (SLR) to identify 27 studies (i.e. 2017-2019) pertaining to UVM standard. Subsequently, 21 UVM-based frameworks and 9 tools are identified. Moreover, key benefits of UVM standard are investigated. Finally, a comparative analysis of UVM with OVM (Open Verification Methodology) is performed. It is concluded that UVM provides advanced phasing mechanism, reporting, callbacks, objections, sequence libraries and control over simulation as compared to OVM. Researchers and practitioners of domain can highly benefit from findings of this article.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134189909","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
ADHD Identification using Convolutional Neural Network with Seed-based Approach for fMRI Data 基于种子的卷积神经网络fMRI数据识别ADHD
G. Ariyarathne, S. D. Silva, Sanuwani Dayarathna, D. Meedeniya, S. Jayarathna
{"title":"ADHD Identification using Convolutional Neural Network with Seed-based Approach for fMRI Data","authors":"G. Ariyarathne, S. D. Silva, Sanuwani Dayarathna, D. Meedeniya, S. Jayarathna","doi":"10.1145/3384544.3384552","DOIUrl":"https://doi.org/10.1145/3384544.3384552","url":null,"abstract":"Attention Deficit Hyperactivity Disorder (ADHD) is a highly prevalent psychiatric disorder with persistent patterns of inattention, hyperactivity and impulsivity behaviors among children. The perilous factor lies underneath is that often these children are commonly entangled with learning difficulties which tend to lead frustration when they reach adulthood. This study presents an effective approach for ADHD identification at an early stage by using functional Magnetic Resonance Imaging data for the resting-state brain. The proposed methodology is based on seed correlation which computes the functional connectivity between seeds and all other voxels within the brain. The classification is done using Convolution Neural Network based on extracted seed correlations from different Default Mode Network (DMN) regions. The proposed method using correlation on DMN regions has shown significant accuracies between 84% and 86% to be used with CNN for the identification of ADHD.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122221551","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}
引用次数: 16
IoT Soil Moisture Monitoring and Irrigation System Development 物联网土壤水分监测与灌溉系统开发
Kim-Mey Chew, Syvester Chiang-Wei Tan, G. Loh, Nancy Bundan, S. Yiiong
{"title":"IoT Soil Moisture Monitoring and Irrigation System Development","authors":"Kim-Mey Chew, Syvester Chiang-Wei Tan, G. Loh, Nancy Bundan, S. Yiiong","doi":"10.1145/3384544.3384595","DOIUrl":"https://doi.org/10.1145/3384544.3384595","url":null,"abstract":"Agriculture is vital in human evolution and was the first activity to be emphasized ever since the beginning of time. With the population growing constantly, there are inventions of new means in the production of food to cater for those demands. Improvement in a variety of technologies is one of such effort conducted for the cause. Robotics or chemical technologies may not be the only improvements that could be exercised. Internet of Things (IoT) technology is one of an application widely used currently. The study aims to establish a less manpower plantation in smart city with the use of IoT technology to improve the crop cultivation. In preliminary, a wireless soil moisture monitoring and irrigation system was developed. The system aims to monitor the moisture and properties of soil for plants. At the same time, with a self-sufficient and self-organized irrigation system based on the water-control algorithm. The developed system covered the three layers in IoT architecture: perception layer, network layer and application layer. In perception layer, a microcontroller, soil moisture sensors and solenoid valves acted as the sensors, transducers and actuators. Wireless networking technology (WiFi) was used as the communication for data transmitting and receiving. Through the developed application, humidity and irrigation volume were collected, recorded and analyzed. These preliminary results help in visualizing the concept of a less manpower plantation in smart city.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123922817","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}
引用次数: 5
Design and Implementation of Intelligent Ear Tag for Dairy Cows in Farms 奶牛智能耳标的设计与实现
Long Xia, Sun Chunxia, Tan Ming
{"title":"Design and Implementation of Intelligent Ear Tag for Dairy Cows in Farms","authors":"Long Xia, Sun Chunxia, Tan Ming","doi":"10.1145/3384544.3384574","DOIUrl":"https://doi.org/10.1145/3384544.3384574","url":null,"abstract":"The cow signs monitoring system is an important part of the farm farming system. It is an important indicator point for judging the signs, diseases, estrus and milk quality of dairy cows. The existing discriminating method is to manually measure the rectal temperature, which is time-consuming and not suitable for large-scale breeding. In this paper, a smart ear tag based on WIFI is designed to measure the body signs of cows with body temperature and food intake. CC3200 is used as WIFI transmitter and processor, combined with high-precision non-contact temperature sensor TMP102 to measure the temperature of the ear, and the film pressure sensor measures the food intake, and realizes the body temperature and ear temperature difference compensation algorithm in the software. The ear tag sends the collected body temperature and food intake as a topic message to the MQTT server, and the display terminal receives the information by subscribing to the related topic message. Powered by button battery, CC3200 low power management, the life of the ear tag can reach more than two years. While saving manpower, it has improved the efficiency of dairy cow monitoring and has broad market value and application prospects.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116633630","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
CLDM CLDM
Tianyou Yang, Yingjie Shi, Haiqiao Huang
{"title":"CLDM","authors":"Tianyou Yang, Yingjie Shi, Haiqiao Huang","doi":"10.1145/3384544.3384555","DOIUrl":"https://doi.org/10.1145/3384544.3384555","url":null,"abstract":"Due to the huge market related with clothing, the clothing fashion analysis is receiving more and more attentions from both industry and academia. Because of the shooting conditions and the human pose in the clothing image, the clothing items may be distorted or occluded, which makes the clothing fashion applications inaccurate. In this paper, we present CLDM, a clothing landmark detector based on Mask R-CNN. CLDM detects the functional regions of cloth items, which makes the features extracted from clothes more discriminative. We propose the architecture of CLDM, and design the deep learning network, during which RestNet-FPN is adopted as the backbone and a landmark branch is designed in the perception network. We implement CLDM and experimentally validate the accuracy and efficiency of our proposed techniques.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116094403","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
Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic 用时间逻辑的声明性约束解释抽象指令
Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, N. Yonezaki
{"title":"Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic","authors":"Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, N. Yonezaki","doi":"10.1145/3384544.3384572","DOIUrl":"https://doi.org/10.1145/3384544.3384572","url":null,"abstract":"There is growing demand to derive concrete operations from abstract instructions for a variety of technologies, e.g., household appliances, AI companions like smart speakers, computers, etc. Abstract instructions do not refer to multiple actions although multiple actions are needed to accomplish the operation. Using an approach from the field of formal verification, we propose a method that uses system models and declarative constraints. The system model consists of several sub-system models, and each sub-system model is represented by a transition machine. Declarative constraints are described in temporal logic. The method calculates an action sequence from the user instructions that conforms to the system model and satisfies the constraints.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121649540","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
Combining Movement Model with Finger-Stroke Level Model Towards Designing a Security Enhancing Mobile Friendly CAPTCHA 结合运动模型和手指触控水平模型设计一种增强移动友好安全性的CAPTCHA
Ahmed Iqbal Pritom, M. Chowdhury, Joy Protim, Shanto Roy, Md. Rashedur Rahman, Sadia Mehnaz Promi
{"title":"Combining Movement Model with Finger-Stroke Level Model Towards Designing a Security Enhancing Mobile Friendly CAPTCHA","authors":"Ahmed Iqbal Pritom, M. Chowdhury, Joy Protim, Shanto Roy, Md. Rashedur Rahman, Sadia Mehnaz Promi","doi":"10.1145/3384544.3384584","DOIUrl":"https://doi.org/10.1145/3384544.3384584","url":null,"abstract":"Although many solutions have been proposed for peripheral device controlled desktop applications to separate Human-Bot using CAPTCHAs, no significant work has addressed the same issue for handheld touch-sensitive devices. In this work, we propose a novel CAPTCHA system based on flicking or dragging segmented sub-images to a specific output box to regenerate a sample image. The successful matching of sample and output images can be considered to be submitted by humans only if the movement data of dragging object shows a human-like pattern and threshold crossing mismatch with the pattern for dragging performed by the bot. We designed the prototype of our proposed CAPTCHA for both PC and Mobile platform to underline the subtle, yet inevitable difference between key-stroke and finger-stroke. After comparing and analyzing evaluation factors like solving time, accuracy and reat-tempt requirements from 31 users with 3 different physical issues, we concluded our paper with two important discussions. First, the inclusion of extreme noise may become a handful in first-order bot identification, but an alarming drop of accuracy for specific users with vision and motor disabilities forced us to keep noise level in a moderated state. And finally, the task completion time of required action factors associated with unit tasks to solve the puzzle for both mobile and desktop versions indicates that our proposed finger-stroke based CAPTCHA performs faster than a key-stroke based traditional model.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129065883","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}
引用次数: 4
An Improved Genetic Bat algorithm for Unconstrained Global Optimization Problems 无约束全局优化问题的改进遗传蝙蝠算法
M. Z. Rehman, K. Z. Zamli, Abdullah B. Nasser
{"title":"An Improved Genetic Bat algorithm for Unconstrained Global Optimization Problems","authors":"M. Z. Rehman, K. Z. Zamli, Abdullah B. Nasser","doi":"10.1145/3384544.3384603","DOIUrl":"https://doi.org/10.1145/3384544.3384603","url":null,"abstract":"Metaheuristic search algorithms have been in use for quite a while to optimally solve complex searching problems with ease. Nowadays, nature inspired swarm intelligent algorithms have become quite popular due to their propensity for finding optimal solutions with agility. Genetic algorithm (GA) is successfully applied in several engineering fields for the past four decades but it still has a problem of slow convergence due to its reliability on the initial state of its operators. Therefore, to ensure that GA converges to a global solution, this paper proposed a two-stage improved Genetic Bat algorithm (GBa) in which the GA finds the optimal solution first and then Bat starts from where the GA has converged. This multi-stage optimization ensures that optimal solution is always reached through fine balance in between exploration and exploitation behavior of Genetic algorithm.","PeriodicalId":200246,"journal":{"name":"Proceedings of the 2020 9th International Conference on Software and Computer Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129288275","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
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学术官方微信