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

Points of interest in the city of Barcelos in Portugal through augmented reality

Internet of Things and Cyber-Physical Systems 2024年第1期4卷 40-48页

作者： Pereira, Miguel Silva, João Carlos Pinheiro, Marisa Carvalho, Sandro Santos, Gilberto Polytechnic Institute of Cávado and Ave Barcelos Portugal 2Ai – Applied Artificial Intelligence Laboratory Barcelos Portugal INESC TEC - Institute for Systems and Computer Engineering Porto Portugal LIACC - Laboratory of Artificial Intelligence and Computer Science Porto Portugal

Barcelos is a historic city in Portugal with many tourist attractions, attracting more and more visitors who come to the city with the aim of exploring it. The main objective of this article is to boost tourism in the city of Barcelos, specifically highlighting tourist, historical and leisure spots, based on the development of a mobile application using augmented reality technologies and geolocation. This application intends to allow the users to know historical points of interest in Barcelos, as well as interact with a certain point. The results of this investigation were evaluated by testing the application by end users, with the aim of identifying whether the application meets their needs, in particular the promotion of tourist and historical points. © 2023

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Attribute grouping-based naive Bayesian classifier

引用

science China(Information sciences) 2025年第3期68卷 125-149页

作者： Yulin HE Guiliang OU Philippe FOURNIER-VIGER Joshua Zhexue HUANG Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ) College of Computer Science & Software Engineering Shenzhen University

The naive Bayesian classifier(NBC) is a supervised machine learning algorithm having a simple model structure and good theoretical interpretability. However, the generalization performance of NBC is limited to a large extent by the assumption of attribute independence. To address this issue, this paper proposes a novel attribute grouping-based NBC(AG-NBC), which is a variant of the classical NBC trained with different attribute groups. AG-NBC first applies a novel effective objective function to automatically identify optimal dependent attribute groups(DAGs). Condition attributes in the same DAG are strongly dependent on the class attribute, whereas attributes in different DAGs are independent of one another. Then,for each DAG, a random vector functional link network with a SoftMax layer is trained to output posterior probabilities in the form of joint probability density estimation. The NBC is trained using the grouping attributes that correspond to the original condition attributes. Extensive experiments were conducted to validate the rationality, feasibility, and effectiveness of AG-NBC. Our findings showed that the attribute groups chosen for NBC can accurately represent attribute dependencies and reduce overlaps between different posterior probability densities. In addition, the comparative results with NBC, flexible NBC(FNBC), tree augmented Bayes network(TAN), gain ratio-based attribute weighted naive Bayes(GRAWNB), averaged one-dependence estimators(AODE), weighted AODE(WAODE), independent component analysis-based NBC(ICA-NBC), hidden naive Bayesian(HNB) classifier, and correlation-based feature weighting filter for naive Bayes(CFW) show that AG-NBC obtains statistically better testing accuracies, higher area under the receiver operating characteristic curves(AUCs), and fewer probability mean square errors(PMSEs) than other Bayesian classifiers. The experimental results demonstrate that AG-NBC is a valid and efficient approach for alleviating the attribute i

关键词： naive Bayesian classifier attribute independence assumption attribute grouping dependent attribute group posterior probability class-conditional probability

来源：评论

学校读者我要写书评

暂无评论

GPS: graph contrastive learning via multi-scale augmented views from adversarial pooling

引用

science China(Information sciences) 2025年第1期68卷 145-158页

作者： Wei JU Yiyang GU Zhengyang MAO Ziyue QIAO Yifang QIN Xiao LUO Hui XIONG Ming ZHANG School of Computer Science National Key Laboratory for Multimedia Information ProcessingPeking University Artificial Intelligence Thrust The Hong Kong University of Science and Technology Department of Computer Science University of California

Self-supervised graph representation learning has recently shown considerable promise in a range of fields, including bioinformatics and social networks. A large number of graph contrastive learning approaches have shown promising performance for representation learning on graphs, which train models by maximizing agreement between original graphs and their augmented views(i.e., positive views). Unfortunately, these methods usually involve pre-defined augmentation strategies based on the knowledge of human experts. Moreover, these strategies may fail to generate challenging positive views to provide sufficient supervision signals. In this paper, we present a novel approach named graph pooling contrast(GPS) to address these *** by the fact that graph pooling can adaptively coarsen the graph with the removal of redundancy, we rethink graph pooling and leverage it to automatically generate multi-scale positive views with varying emphasis on providing challenging positives and preserving semantics, i.e., strongly-augmented view and weakly-augmented view. Then, we incorporate both views into a joint contrastive learning framework with similarity learning and consistency learning, where our pooling module is adversarially trained with respect to the encoder for adversarial robustness. Experiments on twelve datasets on both graph classification and transfer learning tasks verify the superiority of the proposed method over its counterparts.

关键词： graph representation learning graph neural networks graph contrastive learning graph augmentations graph pooling

来源：评论

学校读者我要写书评

暂无评论

Spine-Free Networks for Large Language Model Training

引用

IEEE Micro 2025年第2期45卷 18-25页

作者： Wang, Weiyang Ghobadi, Manya Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory CambridgeMA02139 United States

We study the optimal parallelization strategy of large language models (LLMs) and demonstrate that LLM training workloads generate sparse communication patterns in the network. Consequently, we argue that LLM training clusters do not require any-to-any full-bisection networks. We then propose Rail-only, a novel datacenter network architecture tailored to LLMs’ unique communication patterns. Rail-only networks eliminate the spine layer of conventional fabrics, resulting in lower cost and energy consumption. We demonstrate that Rail-only networks achieve the same training performance while reducing network cost by 38% to 77% and network power consumption by 37% to 75%, compared to traditional GPU clusters with full-bisection bandwidth. © 1981-2012 IEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

引用

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University School of Computer and Artificial Intelligence Zhengzhou University School of Computer Science and Cyber Engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Formal verification Separation logic Cloud block storage Verification tool Coq

来源：评论

学校读者我要写书评

暂无评论

Scene text recognition via dual character counting-aware visual and semantic modeling network

引用

science China(Information sciences) 2024年第3期67卷 313-314页

作者： Ke XIAO Anna ZHU Brian Kenji IWANA Cheng-Lin LIU School of Computer Science and Artificial Intelligence Wuhan University of Technology Human Interface Laboratory Kyushu University State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of Sciences School of Artificial Intelligence University of Chinese Academy of Sciences

Scene text recognition(STR) is drawing increasing attention nowadays due to its wide application in real life. Character counting information, as auxiliary information, has been shown to be effective in boosting text ... 详细信息

关键词： Decoding

来源：评论

学校读者我要写书评

暂无评论

FNNWV: farthest-nearest neighbor-based weighted voting for class-imbalanced crowdsourcing

引用

science China(Information sciences) 2024年第10期67卷 172-188页

作者： Wenjun ZHANG Liangxiao JIANG Ziqi CHEN Chaoqun LI School of Computer Science China University of Geosciences Key Laboratory of Artificial Intelligence Ministry of Education School of Mathematics and Physics China University of Geosciences

In crowdsourcing scenarios, we can hire crowd workers to label crowdsourced tasks and then use label integration algorithms to infer the integrated label for each instance in the tasks. As more and more label integration algorithms are proposed, the performance of inference based only on the information of the inferred instance gradually converges. Recent algorithms attempt to exploit the information of the inferred instance's nearest neighbors to infer and achieve good performance. However, when crowdsourced tasks are class-imbalanced, negative instances are more easily to occur in the nearest neighbors because negative instances are the majority, and thus recent algorithms are more easily biased toward the negative class. To this end, in this paper, we propose a novel label integration algorithm called farthest-nearest neighbor-based weighted voting(FNNWV) for class-imbalanced crowdsourcing. Specifically, FNNWV considers the nearest neighbors to be more similar to the inferred instance and thus uses them to vote ayes in weighted voting. Yet at the same time, FNNWV considers the farthest neighbors to be more different from the inferred instance and thus uses them to vote nays in weighted voting. Since negative instances are easier to occur in both the nearest neighbors and the farthest neighbors, FNNWV weakens the effect of negative instances by voting ayes and nays. The experimental results on 22 simulated and one real-world crowdsourced datasets show that FNNWV significantly outperforms all the other state-of-the-art competitors.

关键词： crowdsourcing label integration nearest neighbor farthest neighbor weighted voting

来源：评论

学校读者我要写书评

暂无评论

Explaining the better generalization of label distribution learning for classification

引用

science China(Information sciences) 2025年第5期68卷 348-361页

作者： Jing WANG Xin GENG School of Computer Science and Engineering Southeast University Key Laboratory of New Generation Artificial Intelligence Technology and Its Interdisciplinary Applications(Southeast University) Ministry of Education

Label distribution learning(LDL) has shown advantages over traditional single-label learning(SLL) in many realworld applications, but its superiority has not been theoretically understood. In this paper, we attempt to explain why LDL generalizes better than SLL. Label distribution has rich supervision information such that an LDL method can still choose the sub-optimal label from label distribution even if it neglects the optimal one. In comparison, an SLL method has no information to choose from when it fails to predict the optimal label. The better generalization of LDL can be credited to the rich information of label distribution. We further establish the label distribution margin theory to prove this explanation; inspired by the theory,we put forward a novel LDL approach called LDL-LDML. In the experiments, the LDL baselines outperform the SLL ones, and LDL-LDML achieves competitive performance against existing LDL methods, which support our explanation and theories in this paper.

关键词： label distribution learning classification generalization label distribution margin label ambiguity neural network

来源：评论

学校读者我要写书评

暂无评论

Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning

引用

Neural Computing and Applications 2025年 1-36页

作者： Abreu, Miguel Reis, Luís Paulo Lau, Nuno LIACC/LASI/FEUP Artificial Intelligence and Computer Science Laboratory Faculty of Engineering University of Porto Porto Portugal IEETA/LASI/DETI Institute of Electronics and Informatics Engineering of Aveiro Department of Electronics Telecommunications and Informatics University of Aveiro Aveiro Portugal

The RoboCup 3D soccer simulation league serves as a competitive platform for showcasing innovation in autonomous humanoid robot agents through simulated soccer matches. Our team, FC Portugal, developed a new codebase from scratch in Python after RoboCup 2021. The team’s performance relies on a set of skills centered around novel unifying primitives and a custom, symmetry-extended version of the proximal policy optimization algorithm. Our methods have been thoroughly tested in official RoboCup matches, where FC Portugal has won the last two main competitions, in 2022 and 2023. This paper presents our training framework, as well as a timeline of skills developed using our skill-set-primitives, which considerably improve the sample efficiency and stability of skills, and motivate seamless transitions. We start with a significantly fast Sprint-Kick developed in 2021 and progress to the most recent skill set, including a multi-purpose omnidirectional walk, a dribble with unprecedented ball control, a solid kick, and a push skill. The push addresses low-level collision scenarios and high-level strategies to increase ball possession. We address the resource-intensive nature of this task through an innovative multi-agent learning approach. Finally, we release the team’s codebase to the RoboCup community, providing other teams with a robust and modern foundation upon which they can build new features. © The Author(s) 2025.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

RepBoTNet-CESA:An Alzheimer’s Disease computer Aided Diagnosis Method Using Structural Reparameterization BoTNet and Cubic Embedding Self Attention

引用

computers, Materials & Continua 2024年第5期79卷 2879-2905页

作者： Xiabin Zhang Zhongyi Hu Lei Xiao Hui Huang College of Computer Science and Artificial Intelligence Wenzhou UniversityWenzhou325035China Key Laboratory of Intelligence Image Processing and Analysis Wenzhou UniversityWenzhou325035China

Various deep learning models have been proposed for the accurate assisted diagnosis of early-stage Alzheimer’s disease(AD).Most studies predominantly employ Convolutional Neural Networks(CNNs),which focus solely on local features,thus encountering difficulties in handling global *** contrast to natural images,Structural Magnetic Resonance Imaging(sMRI)images exhibit a higher number of channel ***,during the Position Embedding stage ofMulti Head Self Attention(MHSA),the coded information related to the channel dimension is *** tackle these issues,we propose theRepBoTNet-CESA network,an advanced AD-aided diagnostic model that is capable of learning local and global features *** combines the advantages of CNN networks in capturing local information and Transformer networks in integrating global information,reducing computational costs while achieving excellent classification ***,it uses the Cubic Embedding Self Attention(CESA)proposed in this paper to incorporate the channel code information,enhancing the classification performance within the Transformer ***,the RepBoTNet-CESA performs well in various AD-aided diagnosis tasks,with an accuracy of 96.58%,precision of 97.26%,and recall of 96.23%in the AD/NC task;an accuracy of 92.75%,precision of 92.84%,and recall of 93.18%in the EMCI/NC task;and an accuracy of 80.97%,precision of 83.86%,and recall of 80.91%in the AD/EMCI/LMCI/NC *** demonstrates that RepBoTNet-CESA delivers outstanding outcomes in various AD-aided diagnostic ***,our study has shown that MHSA exhibits superior performance compared to conventional attention mechanisms in enhancing ResNet ***,the Deeper RepBoTNet-CESA network fails to make further progress in AD-aided diagnostic tasks.

关键词： Alzheimer CNN structural reparameterization multi head self attention computer aided diagnosis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：