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

Parallel software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip

Journal of computer Science & Technology 2023年第2期38卷 405-421页

作者：张颖季鹏飞朱潘玮 Zebo Peng 李华伟江建慧 School of Software Engineering Tongji UniversityShanghai 200092China Department of Computer and Information Science Linkoping UniversityLinkoping 58183Sweden Institute of Computing Technology Chinese Academy of SciencesBeijing 100190China

Online testing is critical to ensuring reliable operations of the next generation of supercomputers based on a kilo-core network-on-chip(NoC)interconnection *** present a parallel software-based self-testing(SBST)solution that makes use of the bounded model checking(BMC)technique to generate test sequences and parallel *** this method,the parallel SBST with BMC derives the leading sequence for each router’s internal function and detects all functionally-testable faults related to the function.A Monte-Carlo simulation algorithm is then used to search for the approximately optimum configuration of the parallel packets,which guarantees the test quality and minimizes the test ***,a multi-threading technology is used to ensure that the Monte-Carlo simulation can reach the approximately optimum configuration in a large random space and reduce the generating time of the parallel *** results show that the proposed method achieves a high fault coverage with a reduced test ***,by performing online testing in the functional mode with SBST,it effectively avoids the over-testing problem caused by functionally untestable turns in kilo-core NoCs.

关键词： software-based self-testing(SBST) parallel test kilo-core networks-on-chip(NoCs) online testing

来源：评论

学校读者我要写书评

暂无评论

Alzheimer's Disease Classification Approach Using MRI Imaging 3

Alzheimer's Disease Classification Approach Using MRI Imagin...

引用

3rd International Mobile, Intelligent, and Ubiquitous Computing Conference, MIUCC 2023

作者： Khaled, Eman Amr, Farah Essam, Farah Nouh, Maryam Sherif, Youssef Yakan, Zyad Gayar, Ziad El Abdelraouf, Ashraf Ain Shams University Faculty of Engineering Department of Computer Engineering and Software Systems Cairo Egypt Misr International University Faculty of Computer Scinece Cairo Egypt

ISBN: (纸本)9798350306231

Alzheimer's disease (AD) is a slowly progressing, irreversible brain condition that weakens memory and negatively affects the patient's quality of life. Alzheimer's disease (AD) can be identified using Magnetic Resonance Imaging (MRI) data. For an early diagnosis of the disease, various medical and diagnostic approaches are being investigated. Even while MRI is a useful tool for locating AD-related brain symptoms, the acquisition process is time-consuming, largely because workflow bottlenecks must be manually evaluated. In order to find the best effective method for detecting the disease, this research examines the basic technique for analyzing MRI images. To carry out our study to slow progression of the disease by the use of Alzheimer's disease (AD) prognosis, a dataset from The Alzheimer's Disease Neuroimaging Initiative (ADNI) will be imported and fitted. The outcomes highlight the tremendous potential of integrating imaging data for automated categorization of Alzheimer's disease (AD) using multidisciplinary AI techniques. With a deep three-dimensional convolutional network (3D CNN) being used to handle the three-dimensional MRI input and a Transformer encoder being applied to manage the genetic sequence input, the suggested solution merges machine learning, bioinformatics, and other image processing techniques. After various experiments by checking the results accuracy, it is stated that the CNN model is never enough to provide us with the desired accuracy either by training on both skull stripped data or the GM tissue segmented data. Although, it is relatively better at the skull stripped dataset training, but the results accuracy and predicted classes show that inferring some classifiers after extracting the features from the CNN would increase the accuracy and results. After applying Support Vector Machine SVM-RBF, SVM-POLY, and XGBoost, it is concluded that the training of the Skull Stripped Dataset with features extracted from the CNN model we provided an

关键词： Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

TunSLR-25: A New Static Tunisian Sign Language Recognition System 41st

TunSLR-25: A New Static Tunisian Sign Language Recognition S...

引用

41st computer Graphics International Conference, CGI 2024

作者： Aloui, Sarra Wang, Yu Fan-fan, Zhou College of Computer Science and Software Engineering Hohai University Nanjing China First Affiliated Hospital of Kunming Medical University Kunming China

ISBN: (纸本)9783031818059

There are 466 M deaf across the world according to World Health Organisation. They are deprived of their basic human right which is communicating with others. Many solutions have been developed to help hard-of-hearing people overcome communication barriers. The existing sign language recognition research focuses on sign languages other than Tunisian Sign Language. Consequently, a Tunisian Sign Language dataset, TunSL-D, was developed for this research. The dataset contains static images that are more complex and can generalize the classification tasks. The images represent the most used words and alphabets in Tunisian Sign language. This paper proposes a novel model TunSLR-25 that recognizes and classifies static Tunisian sign language. The model is first trained on the words data, achieving an accuracy of 95.49%, then trained on both words and alphabets, achieving an accuracy of 88%, with a low parameter number of 1,098,901. The TunSL-D has been trained on SLRNet-8 CNN, a 4-layer CNN model, pre-trained models Resnet50, Resnet101, and InceptionV3. The paper compares the performance of these CNN models and the proposed CNN model TunSLR-25. The system will be integrated into a web application designed to be accessible and user-friendly for this community. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Classification SLR Tunisian Sign Language

来源：评论

学校读者我要写书评

暂无评论

Improved Hybrid Deep Collaborative Filtering Approach for True Recommendations

引用

computers, Materials & Continua 2023年第3期74卷 5301-5317页

作者： Muhammad Ibrahim Imran Sarwar Bajwa Nadeem Sarwar Haroon Abdul Waheed Muhammad Zulkifl Hasan Muhammad Zunnurain Hussain Department of Computer Science The Islamia University of BahawalpurBahawalpurPakistan Department of Computer Science Bahria University Lahore CampusLahorePakistan Software Engineering Department Faculty of ITUniversity of Central PunjabLahorePakistan Faculty of Computer Science and Information Technology Universiti Putra MalaysiaSelangorMalaysia

Recommendation services become an essential and hot research topic for researchers *** data such asReviews play an important role in the recommendation of the *** was achieved by deep learning approaches for capturing user and product information from a short ***,such previously used approaches do not fairly and efficiently incorporate users’preferences and product *** proposed novel Hybrid Deep Collaborative Filtering(HDCF)model combines deep learning capabilities and deep interaction modeling with high performance for True *** overcome the cold start problem,the new overall rating is generated by aggregating the Deep Multivariate Rating DMR(Votes,Likes,Stars,and Sentiment scores of reviews)from different external data sources because different sites have different rating scores about the same product that make confusion for the user to make a decision,either product is truly popular or *** proposed novel HDCF model consists of four major modules such as User Product Attention,Deep Collaborative Filtering,Neural Sentiment Classifier,and Deep Multivariate Rating(UPA-DCF+NSC+DMR)to solve the addressed *** results demonstrate that our novel model is outperforming state-of-the-art IMDb,Yelp2013,and Yelp2014 datasets for the true top-n recommendation of products using HDCF to increase the accuracy,confidence,and trust of recommendation services.

关键词： Neural sentiment classification user product attention deep collaborative filtering multivariate rating artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

VisualRWKV: Exploring Recurrent Neural Networks for Visual Language Models 31

VisualRWKV: Exploring Recurrent Neural Networks for Visual L...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Hou, Haowen Zeng, Peigen Ma, Fei Yu, Fei Richard Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Shool of Information Technology Carleton University Canada

ISBN: (纸本)9798891761964

Visual Language Models (VLMs) have rapidly progressed with the recent success of large language models. However, there have been few attempts to incorporate efficient linear Recurrent Neural Networks (RNNs) architectures into VLMs. In this study, we introduce VisualRWKV, the first application of a linear RNN model to multimodal learning tasks, leveraging the pre-trained RWKV language model. We propose a data-dependent recurrence and sandwich prompts to enhance our modeling capabilities, along with a 2D image scanning mechanism to enrich the processing of visual sequences. Extensive experiments demonstrate that VisualRWKV achieves competitive performance compared to Transformer-based models like LLaVA-1.5 on various benchmarks. Compared to LLaVA-1.5, VisualRWKV has a speed advantage of 3.98 times and can save 54% of GPU memory when reaching an inference length of 24K tokens. To facilitate further research and analysis, we have made the checkpoints and the associated code publicly accessible at the following GitHub repository: https://***/howard-hou/VisualRWKV. © 2025 Association for Computational Linguistics.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Neural-Symbolic Systems 10th

Runtime Verification of Neural-Symbolic Systems

引用

10th International Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2024

作者： Deng, Shaojun Liu, Wanwei Zhang, Miaomiao College of Computer Science and Technology National University of Defense Technology Changsha China School of Software Engineering Tongji Uniersity Shanghai China

ISBN: (纸本)9789819606016

Neural-symbolic systems (NSSs), which are typically cyber-physical systems integrated with artificial intelligence modules, have received much attention in both academic and industrial fields. However, thorough verification (such as model checking) of such systems in general leads to prohibitively high costs due to the scale of the state space, and this makes it barely accomplishable within desired time-span. Consequently, light-weight verification techniques are introduced to deal with such cases, e.g., runtime verification (RV, for short). In this paper, we investigate an RV framework for NSSs against signal temporal logic (STL) properties. To guarantee that the on-line monitoring could be accomplished in time, we utilize Euler-prediction to sample the system under scrutiny at discrete time-steps. Our framework supports both qualitative and quantitative on-line monitoring of STL specifications, and thus it terminates whenever a property is satisfied and/or violated by a finite prefix of the trajectory, and it can also provide the bounds of the quantitative satisfaction/violation w.r.t. the remaining execution. Notably, for the so-called piece-wise linear NSSs against affine STL formulas, our approach is exact. On top of it, a prototype tool is implemented, and is experimentally evaluated. The results demonstrate the feasibility of the presented runtime verification approach. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Using Blockchain to Overcome the Issues in Land Registry Management: A Systematic Review 1

Using Blockchain to Overcome the Issues in Land Registry Man...

引用

1st International Conference in Advanced Innovation on Smart City, ICAISC 2023

作者： Riaz, Ayesha Ikram, Muhammad Jawad Asadullah, Najmussaba University of Engineering and Technology Department of Computer Software Engineering Mardan Pakistan Jeddah International College Department of Computer Science and Information Technology Jeddah Saudi Arabia

ISBN: (纸本)9781665472753

A Blockchain network contains a distributed ledger that is used to store a secure and permanent record of transactions among multiple parties. As the registries of land records are historically stored in the form of paper documentation where, there might arise the issue of losing, destroying, and modifying needed documents. This land registration process is complicated and time-consuming and required a lot of effort to transfer ownership of the land registry or change any information. For this purpose, various contributions have been made by different researchers to overcome the problem of the classical land registration process by using blockchain technology. In this survey, we shed light on some advantages (reduce time and effort, security, permanency, etc.) of blockchain to identify some early problems in the paper-based land registration process. © 2023 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Effects of Data Augmentation Techniques on Classification Performance in Knee MRIs 5

Effects of Data Augmentation Techniques on Classification Pe...

引用

5th International Congress on Human-computer Interaction, Optimization and Robotic Applications, HORA 2023

作者： Kucuk, Elif Nur Gur, Aybars Celal Bayar University Department of Software Engineering Manisa Turkey Department of Computer Engineering Ege University Izmir Turkey

ISBN: (纸本)9798350337525

The role of the amount of data used in increasing the effectiveness of deep learning models is very important. Due to the insufficient publicly available data in some sub-fields of health, data augmentation is vital. This study proposes an approach to improve the experimental work process in deep learning-based injury detection using data augmentation techniques on knee Magnetic Resonance (MR) images. The study is also one of the few in the body of literature to examine the impact of data augmentation in hard tissues. The effect of data augmentation on classification performance is tested using various transfer learning models, and the highest success rates in this study are determined for three classes. Forecasting achievements: the accuracy is 89.98% in the abnormal, 80.35% in the anterior cruciate ligament, and 76.66% in the meniscus classes. As a result of the experiments, it has been seen that the AutoAugment architecture works faster and generally gives more successful results than other augmentation methods. © 2023 IEEE.

关键词： Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

Explainable Deep Learning for Coffee Leaf Disease Classification in Smart Agriculture: A Visual Approach 2

Explainable Deep Learning for Coffee Leaf Disease Classifica...

引用

2nd IEEE International Conference on Distributed Computing and Electrical Circuits and Electronics, ICDCECE 2023

作者： Mridha, Krishna Tola, Fistum Getachew Khalil, Ibrahim Jakir, Sheikh Md. Jamiul Wilfried, Pieboji Noubissie Priyok, Masrur Ahsan Shukla, Madhu Marwadi University Computer Engineering Rajkot India Marwadi University Computer Engineering - Artificial Intelligence Rajkot India Tianjin University Software Engineering China Marwadi University Computer Engineering Artificial Intelligence & Big Data Rajkot India

ISBN: (纸本)9798350347456

In recent years, the application of deep learning techniques for plant disease classification has become increasingly important for smart agriculture. Early classification and treatment of plant diseases are crucial for maintaining the quality and quantity of crops, and deep learning algorithms have the potential to provide accurate and efficient solutions to this problem. In this study, we used two datasets collected from Mendeley for coffee leaf disease classification. The first dataset contained two classes of images, while the second dataset contained the remaining three types of images. The two datasets were combined to create a more robust dataset for training the two-transfer learning and CNN model. We update the pre-trained model MobileNet and RestNet50 by adding a flattened and dense layer to classify the five types of coffee diseases. The model was trained using 100 epochs, and the performance was evaluated using evaluation metrics such as accuracy and loss error for training and validation. The best accuracy was obtained from ResNet50, then MobileNet, and then CNN. The accuracy is 100% for Proposed ResNet50, 98% for CNN, and 99% for MobileNet. To understand the affected areas and help farmers comprehend the reason for the prediction, we used visualization techniques such as Grad-CAM and Grad-CAM++. These techniques generated heat maps of the regions of interest, highlighting the areas that contributed most to the classification decision. Our study highlights the potential of using deep learning techniques for accurate and efficient plant disease detection. By automating the disease classification process, farmers can identify and treat diseases early, leading to better crop yields and quality. The results of our study demonstrate the effectiveness of the proposed method and can be used to develop efficient and cost-effective solutions for plant disease detection. © 2023 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Xtractor: A Two-Step Tweet Extractor for Sentiment Analysis 5

Xtractor: A Two-Step Tweet Extractor for Sentiment Analysis

引用

5th International Conference on Advancements in Computational Sciences, ICACS 2024

作者： Alvi, Muhammad Bux Mahoto, Naeem Ahmed Unar, Mukhtiar Ali Shaikh, Muhammad Akram The Islamia University of Bahawalpur Computer Systems Engineering Bahawalpur Pakistan Mehran Uet Software Engineering Department Jamshoro Pakistan Mehran Uet Computer Systems Engineering Department Jamshoro Pakistan Pastic Pakistan Science Foundation Islamabad Pakistan

ISBN: (纸本)9798350394764

Twitter (now X) has been gaining popularity with each passing day since its inception in 2006. People have been using Twitter as an instant repository to collect data and gain insight into folks' minds on trending issues. Although Twitter allows access to its data through streaming and rest APIs, extracting the required data is difficult. The data (tweet) returned by Twitter is in json format, having at least 26 fields. Each field is bundled in the dictionary form data structure. tweet metadata such as tweet 'likes' and 'retweets' increase the volume and complexity of a tweet, making data extraction in a cleaner format more difficult. This work aims to develop an effective two-step tweet extractor (Xtractor: an online-offline keyword-based Twitter data extractor). In the first step, Xtractor collects publicly available topical tweets using keywords, hashtags, or their list on the fly, parses all the tweet fields, and filters them to retain potential field contents without additional payload. The second step of the Xtractor evicts partially matching tweets using the regular expression method to acquire the targeted domain-specific tweets. Using the proposed two-step Twitter data extraction method, datasets concerning the people of Pakistan have been collected, which can be leveraged to get insight for decision-making, specially in the context of sentiment analysis. We found this method efficient, capacitive, and productive. © 2024 IEEE.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：