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

PBCounter:weighted model counting on pseudo-boolean formulas

Frontiers of Computer Science 2025年第3期19卷 55-63页

作者： Yong LAI Zhenghang XU Minghao YIN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China School of Computer Science and Information Technology Northeast Normal UniversityChangchun 130017China

In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.

关键词： weighted model counting pseudo-boolean constraint algebraic decision diagrams preprocessing techniques

来源：评论

学校读者我要写书评

暂无评论

Multiparticipant Federated Feature Selection Algorithm With Particle Swarm Optimization for Imbalanced Data Under Privacy Protection

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2023年第5期4卷 1002-1016页

作者： Hu, Ying Zhang, Yong Gong, Dunwei Sun, Xiaoyan China University of Mining and Technology School of Information and Control Engineering Xuzhou221008 China Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun130012 China

In the real world, data describing the same learning task may be distributed in different institutions (called participants), and these participants cannot share their own data due to the need of privacy protection. How to select an optimal feature subset on the basis of ensuring the data privacy of each participant is an important and challenging topic. At the same time, data on part participants show imbalanced or even miss some classes, further increasing the difficulty of solving this kind of problem. In view of this, by introducing a trusted third party to process and integrate optimal information from participants, this article proposes a multiparticipant federated evolutionary feature selection algorithm for imbalanced data under privacy protection. First, a multilevel joint sample filling strategy with multiple participants (called sampling-rough selection-fine tuning strategy) is proposed to fill imbalanced or empty classes on each participant while ensuring data privacy. Then, a federated evolutionary feature selection method based on particle swarm optimization (PSO) is proposed by periodically sharing the optimal feature subsets obtained by PSOs on participants. Finally, the proposed algorithm is applied to 1. test datasets, and compared with several typical imbalanced feature selection algorithms and two kinds of ensemble feature selection algorithms. The experimental results show that the proposed algorithm can significantly promote the ability of each participant on processing imbalanced datasets, and improve the classification accuracy of obtained feature subsets while protecting the participants' data privacy. © 2020 IEEE.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Applying Kumaraswamy distribution on stick-breaking process: a Dirichlet neural topic model approach

引用

Neural Computing and Applications 2024年第22期36卷 13731-13744页

作者： Ouyang, Jihong Wang, Teng Cao, Jingyue Wang, Yiming College of Computer Science and Technology Jilin University Qianjin Street Jilin Changchun130015 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Qianjin Street Jilin Changchun130015 China

In recent years, neural topic modeling has increasingly raised extensive attention due to its capacity on generating coherent topics and flexible deep neural structures. However, the widely used Dirichlet distribution in shallow topic models is difficult to reparameterize. Therefore, most existing neural topic models assume the Gaussian as the prior of topic proportions for reparameterization. Gaussian distribution does not have the sparsity like Dirichlet distribution, which limits the model’s topic extraction ability. To address this issue, we propose a novel neural topic model approximating the Dirichlet prior with the reparameterizable Kumaraswamy distribution, namely Kumaraswamy Neural Topic Model (KNTM). Specifically, we adopted the stick-breaking process for posterior inference with the Kumaraswamy distribution as the base distribution. Besides, to capture the dependencies among topics, we propose a Kumaraswamy Recurrent Neural Topic Model (KRNTM) based on the recurrent stick-breaking construction to ensure that the model can still generate coherent topical words in high-dimensional topic space. We examined our method on five prevalent benchmark datasets over six Dirichlet-approximating neural topic models, among which KNTM has the lowest perplexity and KRNTM performance best on topic coherence and topic uniqueness. Qualitative analysis of the top topical words verifies that our proposed models can extract more semantically coherent topics compared with state-of-the-art models, further demonstrating our method’s effectiveness. This work contributes to the broader application of VAEs with Dirichlet priors. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A novel hybrid butterfly optimization algorithm for feature selection with sine cosine velocity in the high-dimensional classification data

引用

Journal of Intelligent and Fuzzy Systems 2024年第5-6期47卷 369-391页

作者： Zhang, Li Chen, Xiaobo Key Laboratory of Data Science and Intelligence Education Hainan Normal University Ministry of Education Haikou Hainan China School of Computer Engineering Jiangsu University of Technology Changzhou Jiangsu China Changzhou City Center Branch People's Bank of China Changzhou Jiangsu China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China

Aiming at the shortcomings of the traditional butterfly optimization algorithm in solving the high-dimensional classification feature selection problem, which has low convergence and is prone to fall into local optimal solutions, a new hybrid butterfly optimization algorithm is proposed, i.e., HBOA-SCV (A novel hybrid butterfly optimization algorithm with sine cosine velocity). The algorithm is applied to solve a high-dimensional classification feature selection problem. Firstly, the algorithm's global exploration and local exploitation ability can be dynamically balanced by introducing inertia weight coefficients w based on multiple learning strategies. Secondly, using the updated speed position formula of the sine-cosine acceleration strategy, individual butterflies' autonomous search ability and convergence speed can be further improved. Finally, according to the fitness value of each butterfly individual, the moving step length and direction of the butterfly individual are automatically adjusted better to fit the actual search process of the butterfly individual, increase the search ability in the global range, and avoid the algorithm from falling into the local optimum. To verify the algorithm's effectiveness, 1. high-dimensional classification numbers are selected to carry out simulation and comparison experiments between HBOA-SCV and traditional BOA algorithm, five improved BOA algorithms and other comparative algorithms for high-dimensional classification data successively. The experimental results show that the average fitness value and classification accuracy of the HBOA-SCV algorithm are better than the comparison algorithm, thus verifying the superiority of the HBOA-SCV algorithm. © 2024 - IOS Press. All rights reserved.

关键词： Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

Caption-Aware Multimodal Relation Extraction with Mutual Information Maximization 24

Caption-Aware Multimodal Relation Extraction with Mutual Inf...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： Zhang, Zefan Zhang, Weiqi Li, Yanhui Bai, Tian College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun China

ISBN: (纸本)9798400706868

Multimodal Relation Extraction (MRE) has achieved great improvements. However, modern MRE models are easily affected by irrelevant objects during multimodal alignment which are called error sensitivity issues. The main reason is that visual features are not fully aligned with textual features and the reasoning process may suppress redundant and noisy information at the risk of losing critical information. In light of this, we propose a Caption-Aware Multimodal Relation Extraction Network with Mutual Information Maximization (CAMIM). Specifically, we first generate detailed image captions through the Large Language Model (LLM). Then, the Caption-Aware Module (CAM) hierarchically aligns the fine-grained visual entities and textual entities for reasoning. In addition, for preserving crucial information within different modalities, we leverage a Mutual Information Maximization method to regulate the multimodal reasoning module. Experiments show that our model outperforms the state-of-the-art MRE models on the benchmark dataset MNRE. Further ablation studies prove the pluggable and effective performance of our Caption-Aware Module and Mutual Information Maximization method. Our code is available at https://***/zefanZhang-cn/CAMIM. © 2024 ACM.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Harmfully Manipulated Images Matter in Multimodal Misinformation Detection 24

Harmfully Manipulated Images Matter in Multimodal Misinforma...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： Wang, Bing Wang, Shengsheng Li, Changchun Guan, Renchu Li, Ximing College of Computer Science and Technology Jilin University Jilin Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education Jilin University China

ISBN: (纸本)9798400706868

Nowadays, misinformation is widely spreading over various social media platforms and causes extremely negative impacts on society. To combat this issue, automatically identifying misinformation, especially those containing multimodal content, has attracted growing attention from the academic and industrial communities, and induced an active research topic named Multimodal Misinformation Detection (MMD). Typically, existing MMD methods capture the semantic correlation and inconsistency between multiple modalities, but neglect some potential clues in multimodal content. Recent studies suggest that manipulated traces of the images in articles are non-trivial clues for detecting misinformation. Meanwhile, we find that the underlying intentions behind the manipulation, e.g., harmful and harmless, also matter in MMD. Accordingly, in this work, we propose to detect misinformation by learning manipulation features that indicate whether the image has been manipulated, as well as intention features regarding the harmful and harmless intentions of the manipulation. Unfortunately, the manipulation and intention labels that make these features discriminative are unknown. To overcome the problem, we propose two weakly supervised signals as alternatives by introducing additional datasets on image manipulation detection and formulating two classification tasks as positive and unlabeled learning problems. Based on these ideas, we propose a novel MMD method, namely Harmfully Manipulated Images Matter in MMD (Hami-m3d). Extensive experiments across three benchmark datasets can demonstrate that Hami-m3d can consistently improve the performance of any MMD baselines. © 2024 ACM.

关键词： image manipulation

来源：评论

学校读者我要写书评

暂无评论

Few-Shot Fine-Grained Classification of Histological Images 1

Few-Shot Fine-Grained Classification of Histological Images

引用

1.t IEEE International Conference on Medical Artificial Intelligence, MedAI 2023

作者： Jiang, Yingdong Huang, Jing Jin, Zihe Shen, Leqi Zhang, Ziyi College of Software Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education ChangChun China College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education ChangChun China College of Computer Science and Technology Jilin University ChangChun China

ISBN: (纸本)9798350358780

Histological image classification plays a crucial role in cancer diagnosis. However, the acquisition of well-labeled histological images is prohibitively expensive, and obtaining rare abnormal samples is challenging. Therefore, applying few-shot learning methods to histological image classification tasks holds significant clinical value. Nevertheless, existing research predom-inantly relies on coarse-grained image classification approaches based on natural image datasets, which struggle to address the fine-grained challenges encountered in histological image classification, such as intra-class diversity and inter-class similarity. To tackle this issue, this study proposes a novel few-shot fine-grained classification method for histological images, named 'Category-Aware Feature Map Reconstruction Network.' This method employs channel weights to localize the differences between inter-class and intra-class regions, composed of intra-class channel weights and inter-class channel weights, collectively referred to as category-aware weights. Specifically, intra-class channel weights indicate the matching degree of salient regions within the support set of a particular class, while inter-class channel weights represent the degree of containing distinct information between classes. The category-aware weights are utilized to transform the support feature maps and query feature maps, generating feature maps that capture differentiating details between categories. Finally, the distance between the transformed query feature map and support feature map is calculated to achieve probabilistic predictions for the categories. On a histological few-shot dataset, this method achieves an accuracy of 90.23% using ResNet-1. as the feature extractor, surpassing the baseline model by 5.24% and outperforming other few-shot methods by at least 1.% in the 5-way 1.-shot experimental setting. The proposed method exhibits exceptional performance on histological image few-shot datasets, playing a

关键词： Computer aided diagnosis

来源：评论

学校读者我要写书评

暂无评论

Vertical Traffic Scheduling Control Method Based On Dual Fuzzy Neural Network

Vertical Traffic Scheduling Control Method Based On Dual Fuz...

引用

2023 International Annual Conference on Complex Systems and Intelligent Science, CSIS-IAC 2023

作者： Sun, Xinhao An, Siqi Gao, Xiaoting Cui, Enchang College of Light Industry Liaoning University Shenyang China Jilin University Key Laboratory of Symbolic Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun130012 China

ISBN: (纸本)9798350309003

With the complexity of the functions of modern buildings, the problem of vertical traffic in buildings is becoming more and more prominent. As the only vertical transportation, the elevator is a necessary prerequisite for the development of modern buildings to solve its group control distribution problem. In this paper, a vertical traffic scheduling control method is proposed based on dual fuzzy neural network, a recognition strategy is designed to identify the passenger flow models. The dual fuzzy neural network is used to first identify the traffic network model in which the elevator is located, and then combine the corresponding weights and the confidence of the group control allocation to complete the group control scheduling. Finally, the proposed method is verified through a semi-physical simulation platform, proving the correctness and effectivness for traffic pattern recognition and scheduling strategy optimization of group controllers. © 2023 IEEE.

关键词： Fuzzy neural networks

来源：评论

学校读者我要写书评

暂无评论

Local feature aggregation algorithm based on graph convolutional network

引用

Frontiers of Computer Science 2022年第3期16卷 203-205页

作者： Hao WANG Liyan DONG Minghui SUN College of Computer Science and Technology Jilin UniversityChangchun 130012China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012China

1.ntroduction and main contributions In the field of social networks and knowledge graphs,semi-supervised learning models based on graph convolutional networks have achieved great success in node classification[1.,inductive node embedding[2],link prediction[3],and *** semi-supervised models based on graph convolutional network(GCN)[4]expect to obtain more feature information of a graph or accelerate the training.

关键词： convolution aggregation semi

来源：评论

学校读者我要写书评

暂无评论

More Flexible Proximity Wildcards Path Planning with Compressed Path Databases 34

More Flexible Proximity Wildcards Path Planning with Compres...

引用

34th International Conference on Automated Planning and Scheduling, ICAPS 2024

作者： Chen, Xi Zhang, Yue Zhang, Yonggang College of Software Jilin University China College of Computer Science and Technology Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China

ISBN: (纸本)9781577358893

Grid-based path planning is one of the classic problems in AI, and a popular topic in application areas such as computer games and robotics. Compressed Path Databases (CPDs) are recognized as a state-of-the-art method for grid-based path planning. It is able to find an optimal path extremely fast without state-space search. In recent years, researchers have tended to focus on improving CPDs by reducing CPD size or improving search performance. Among various methods, proximity wildcards are one of the most proven improvements in reducing the size of CPD. However, its proximity area is significantly restricted by complex terrain, which significantly affects the pathfinding efficiency and causes more additional costs. In this paper, we enhance CPDs from the perspective of improving search efficiency and reducing search costs. Our work focuses on using more flexible methods to obtain larger proximity areas, so that more heuristic information can be used to improve search performance. Experiments conducted on the Grid-Based Path Planning Competition (GPPC) benchmarks demonstrate that the two proposed methods can effectively improve search efficiency and reduce search costs by up to 3 orders of magnitude. Remarkably, our methods can further reduce the storage cost, and improve the compression capability of CPDs simultaneously. Copyright © 2024, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：