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

arXiv 2022年

作者： Lai, Yong Meel, Kuldeep S. Yap, Roland H.C. Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun130012 China School of Computing National University of Singapore Singapore119077 Singapore

knowledge compilation concerns with the compilation of representation languages to target languages supporting a wide range of tractable operations arising from diverse areas of computer science. Tractable target compilation languages are usually achieved by restrictions on the internal nodes (∧ or ∨) of the NNF. In this paper, we propose a new representation language CCDD, which introduces new restrictions on conjunction nodes to capture equivalent literals. We show that CCDD supports two key queries, model counting and uniform samping, in polytime. We present algorithms and a compiler to compile propositional formulas expressed in CNF into CCDD. Experiments over a large set of benchmarks show that our compilation times are better with smaller representations than state-of-art Decision-DNNF, SDD and OBDD[∧] compilers. We apply our techniques to model counting and uniform sampling, and develop model counter and uniform sampler on CNF. Our empirical evaluation demonstrates the following significant improvements: our model counter can solve 885 instances while the prior state of the art solved only 843 instances, representing an improvement of 43 instances;and our uniform sampler can solve 780 instances while the prior state of the art solved only 648 instances, representing an improvement of 132 instances. Copyright © 2022, The Authors. All rights reserved.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Nighttime traffic object detection via adaptively integrating event and frame domains

引用

Fundamental Research 2024年

作者： Jiang, Yu Wang, Yuehang Zhao, Minghao Zhang, Yongji Qi, Hong The College of Computer Science and Technology Jilin University Changchun 130012 China The Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China The College of Earth Sciences Jilin University Changchun 130012 China

Intelligent perception is crucial in Intelligent Transportation Systems (ITS), with vision cameras as critical components. However, traditional RGB cameras exhibit a significant decline in performance when capturing nighttime traffic scenes, limiting their effectiveness in supporting ITS. In contrast, event cameras possess a high dynamic range (140 dB vs. 60 dB for traditional cameras), enabling them to overcome frame degradation in low-light conditions. Recently, multimodal learning paradigms have made substantial progress in various vision tasks, such as image-text retrieval. Motivated by this progress, we propose an adaptive selection and fusion detection method that leverages both event and RGB frame domains to optimize nighttime traffic object detection jointly. To address the challenge of unbalanced multimodal data fusion, we design a learnable adaptive selection and fusion module. This module performs feature ranking and fusion in the channel dimension, allowing efficient multimodal fusion. Additionally, we construct a novel multi-level feature pyramid network based on multimodal attention fusion. This network extracts potential features to enhance robustness in detecting nighttime traffic objects. Furthermore, we curate a dataset for nighttime traffic scenarios comprising RGB frames and corresponding event streams. Through experiments, we demonstrate that our proposed method outperforms current state-of-the-art techniques in event-based, frame-based, and event and frame fusion methods. This highlights the effectiveness of integrating the event and frame domains in enhancing nighttime traffic object detection. © 2023 The Authors

关键词： Event camera Intelligent transportation Multimodal learning Nighttime object detection

来源：评论

学校读者我要写书评

暂无评论

Tc-Sepm: Characterizing Soft Error Resilience of Cnns on Tensor Cores from Program and Microarchitecture Perspectives

SSRN

引用

SSRN 2023年

作者： Wei, Xiaohui Zhou, Changbao Yue, Hengshan Zhou, Joey Tianyi College of Computer Science and Technology Jilin University Jilin Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Jilin Changchun130012 China Singapore138632 Singapore Singapore138632 Singapore

As an architectural CNN accelerator integrated into NVIDIA's GPUs, existing research mainly focus on improving the performance of Tensor Core. However, the highly integrated Tensor Cores are vulnerable to transient faults (i.e., soft errors), causing catastrophic consequences in safety-critical applications like automatic driving. Thus, it is imperative to estimate the reliability of CNNs on Tensor Cores. However, it is expensive to obtain a statistically significant resilience profile of CNNs on Tensor Cores with the existing fault injection(FI)-based reliability estimation methods. To this end, we build TC-SEPM to predict the error resilience of CNNs on Tensor Cores instead of FI methods. To ensure the accuracy of TC-SEPM, we first investigate resilience-related features from microarchitecture and program perspectives. Then, leveraging these heuristic features, we train machine learning models to learn the hidden relationship between error resilience and the investigated features, enabling us to predict the impact of soft errors in Tensor Cores on CNN output. Experimental results show that TC-SEPM achieves high accuracy for individual soft error resiliency prediction and overall program resilience estimation while its overhead is only 1/27 of FI methods. Additionally, TC-SEPM can provide valuable insights for programmers or architects to design more robust CNN models on Tensor Cores. © 2023, The Authors. All rights reserved.

关键词： Error correction

来源：评论

学校读者我要写书评

暂无评论

A Novel Local Search Algorithm Based on Connectivity Method and Vertex Penalty Mechanism for Minimum Weighted Connected Dominating Set Problem

SSRN

引用

SSRN 2024年

作者： Li, Ruizhi He, Jintao Yin, Minghao Hu, Shuli Ding, Nan Jilin University of Finance and Economics Changchun130117 China Northeast Normal University Changchun130117 China Business Big Data Research Center of Jilin Province Changchun130117 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun130012 China

The minimum weighted connected dominating set problem is a classical NP-hard problem with wide applications in practice. In this paper, an efficient local search algorithm is proposed to solve this problem. In this algorithm, firstly, an initial solution construction method based on greedy randomized adaptive strategy is adopted, which can balance the quality and the diversity of the initial solutions. Second, two new scoring functions, Ascore and Cscore, are proposed to increase the diversity of deleted vertices. Third, a new connectivity method is proposed so that the algorithm no longer relies on the shortest path between two connected components. Fourth, a vertex penalty mechanism is introduced, which helps the algorithm to jump out of the local optimum effectively. Fifth, two scoring functions, Ascore and Cscore, are combined with the vertex penalty mechanism to propose an effective vertex selection method, which helps the algorithm to select suitable vertices to be added to or removed from the current candidate solution. Finally, the propsoed local search algorithm is compared with seven state-of-the-art algorithms on three types of benchmark instances. The experimental results show that the algorithm exhibits better performance on these three types of classical benchmark instances. © 2024, The Authors. All rights reserved.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Vector Quantization: A Case Study on Robust Medical Semantic Segmentation

SSRN

引用

SSRN 2024年

作者： Lang, Yijun Liu, Pingping Zhao, Hongwei Zhou, Qiuzhan College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China School of Mechanical Science and Engineering Jilin University Changchun130025 China College of Communication Engineering Jilin University Changchun130022 China

Pixel-wise medical image segmentation is essential for accurate disease diagnosis and analysis. Although these models exhibit high accuracy and impressive performance, they often face issues of trustworthiness due to their sensitivity to minor perturbations in the original images, which can cause significant deviations in segmentation tasks. To address these challenges, we focus on enhancing both the accuracy and the robustness of these systems against adversarial perturbations. We introduce a robust projection-head that utilizes a non-parametric method, Vector Quantization Momentum (VQM), to increase the hypothesis margin in the input space and reduce disturbances in the feature space. Additionally, we propose a new loss function, Anchor-based Vector Quantization (AVQ), designed to achieve denser pixel-prototype embedding. Our evaluation, using two white-box adversarial attack algorithms across two datasets, demonstrates a defense improvement of up to 14.46%. © 2024, The Authors. All rights reserved.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Data-Efficient CLIP-Powered Dual-Branch Networks for Source-Free Unsupervised Domain Adaptation

arXiv

引用

arXiv 2024年

作者： Li, Yongguang Cao, Yueqi Li, Jindong Wang, Qi Wang, Shengsheng College of Software Jilin University Changchun130012 China College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China School of Artificial Intelligence Jilin University Changchun130012 China Engineering Research Center of Knowledge-Driven Human-Machine Intelligence Ministry of Education Jilin University Changchun130012 China

Source-free Unsupervised Domain Adaptation (SF-UDA) aims to transfer a model’s performance from a labeled source domain to an unlabeled target domain without direct access to source samples, addressing critical data privacy concerns. However, most existing SF-UDA approaches assume the availability of abundant source domain samples, which is often impractical due to the high cost of data annotation. To address the dual challenges of limited source data and privacy concerns, we introduce a data-efficient, CLIP-powered dual-branch network (CDBN). This architecture consists of a cross-domain feature transfer branch and a target-specific feature learning branch, leveraging high-confidence target domain samples to transfer text features of source domain categories while learning target-specific soft prompts. By fusing the outputs of both branches, our approach not only effectively transfers source domain category semantic information to the target domain but also reduces the negative impacts of noise and domain gaps during target training. Furthermore, we propose an unsupervised optimization strategy driven by accurate classification and diversity, preserving the classification capability learned from the source domain while generating more confident and diverse predictions in the target domain. CDBN achieves near state-of-the-art performance with far fewer source domain samples than existing methods across 31 transfer tasks on seven datasets. © 2024, CC BY.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Nutrition feature basis of food classification in traditional chinese medicine 7

Nutrition feature basis of food classification in traditiona...

引用

7th International Conference on Big Data Computing and Communications, BigCom 2021

作者： Zhao, Fucheng Han, Xiaosong Zhang, Yikun Niu, Peiyu Cheng, Jun Yi, Wan Jilin University Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry College of Computer Science and Technology Changchun130012 China

ISBN: (纸本)9781665442527

In TCM (Traditional Chinese Medicine) theory, the cold-and-hot property of food is considered as an important information to guide people's daily diet and keep them healthy. But the classification of this property mostly relies on experience from medical books, which lacks corresponding molecular chemistry basis and makes differentiation very difficult for ordinary people. To solve above question, in this paper, we collected 500 kinds of food and their nutrients, used ANOVA algorithm for feature selection to find out the nutrient feature that have a greater correlation with the cold and hot properties of food, and then used LightGBM algorithm to classify the processed data set. Finally, we constructed a reliable and accurate classification model and found the related nutritional elements are Tyrosine, Arginine, Thiamine, Vitamin B6 and Selenium. © 2021 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

2.5D ASF-UNet: Adjacent Slice Spatial Feature Fusion Model for WMH Segmentation from 3D MR Brain Image

2.5D ASF-UNet: Adjacent Slice Spatial Feature Fusion Model f...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Lan Huang Yinglu Sun Ziqi Zhao Chunjie Guo Yan Wang Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun China Department of Radiology the First Hospital of Jilin University Changchun China

ISBN: (数字)9798350386226

ISBN: (纸本)9798350386233

Segmenting brain white matter hyperintensities (WMH) from 3D Magnetic Resonance (MR) images is crucial for the diagnosis, treatment, and prognosis of Multiple Sclerosis (MS). Unlike common 2D images, this task is more challenging and time-consuming. Classical deep learning methods for 3D image segmentation face two main challenges: 1) Pure 3D networks have more parameters and are prone to overfitting. 2) When using 2D networks to segment slices of 3D images, the lack of 3D structural information results in suboptimal segmentation after reconstruction. To address these difficulties, we propose the 2.5D ASF-UNet, which employs the 2.5D workflow and uses adjacent slices as the input for 2D segmentation network ASF-UNet. In ASF-UNet, separate down-sampling paths are used for the adjacent slices, and the Local Spatial Attention Module (LSAM) is designed to more effectively integrate 3D spatial information into the 2D network. Additionally, the Conv_Spectral_Block (CSB) is designed to extract and integrate local and global features. It allows the model to capture global spatial structures while preserving detailed information. Experimental results on MICCAI MSSEG 2016 and Local MS datasets show that 2.5D ASF-UNet achieve better segmentation performance than other deep learning methods.

关键词： Deep learning Image segmentation Solid modeling Three-dimensional displays Multiple sclerosis Feature extraction Brain modeling White matter Prognostics and health management Overfitting

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Clustering Based Collaborative Filtering Algorithm for Time-Aware POI Recommendation 3

A Fuzzy Clustering Based Collaborative Filtering Algorithm f...

引用

2020 3rd International Conference on Modeling, Simulation and Optimization Technologies and Applications, MSOTA 2020

作者： Yin, Minghao Liu, Yanheng Zhou, Xu Sun, Geng College of Computer Science and Technology Jilin University Changchun Jilin China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin China Center for Computer Fundamental Education Jilin University Changchun Jilin China

Location based social network develops and gets widely concern along with the population and widespread use of mobile. Point of interest(POI) recommendation become one of the most widely application among location-based service. To get better POI recommendation performance, a fuzzy clustering based collaborative filtering algorithm (FCCF) for time-Aware POI recommendation is proposed in this paper. It first constructs the user feature vector from users' check-in behaviours. Individual's check-in behaviour can be under the influence of location region and time slots, so user's feature consists of two parts. One is the vising frequency of each user in different location regions, and the other is the vising frequency of each user in different time slots. Next fuzzy c-means is adopted due to its simplicity to group users according to user feature vector. Then the user similarity computation can be limited in the similar small user groups. In the end, a collaborative filtering algorithm is applied to recommend a number of top-N POIs at a given time for the target user. Some experiments are conducted and the comparative results on Foursquare and Gowalla show that FCCF has higher precision and recall value than the comparative algorithms. © Published under licence by IOP Publishing Ltd.

关键词： Fuzzy clustering

来源：评论

学校读者我要写书评

暂无评论

Traffic jam prediction based on analysis of residents spatial activities

Traffic jam prediction based on analysis of residents spatia...

引用

2020 International Conference on Computer Information and Big Data Applications, CIBDA 2020

作者： Lv, Zhijin Fu, Hao Tang, Wei Chen, Xiaoxu College of Software Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun130012 China

ISBN: (纸本)9781728198378

The prediction of urban traffic congestion has always been one of the important contents in the research of intelligent transportation systems. The difficulty in predicting urban traffic congestion is that urban traffic operation is essentially a collection of spatial activity planning for residents under certain conditions. The huge group of residents themselves has great complexity and uncertainty. Traditional neural networks mostly focus on road characteristic data and road condition data, and lack of in-depth exploration of the fundamental factors of traffic congestion for residents' travel. So we propose a traffic congestion prediction model based on the analysis of residents' spatial activities. Starting from the residents' activities, the simulation of urban traffic operation conditions can more realistically reflect the traffic congestion situation of the city at specific times and roads, and quickly generate model results. The experimental results show that the model analyzed by residents' spatial activities runs fast and has high prediction accuracy. The results are in line with the actual situation and have strong practical value. © 2020 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：