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

International Conference on computer Science and Service System

作者： Zhang, Zhizheng School of Computer Science and Engineering Southeast University Nanjing 210096 China Jiangsu Provincial Key Laboratory of Computer Information Processing Technology Suzhou University China

ISBN: (纸本)9781424497638

Both preference logics and preference representation in logic programming are concerned with reasoning about preferences on combinatorial domains, yet little research has been published using preference axioms in logic programming with preferences. In this paper, we propose a rational semantic for prioritized logic programming by combining rational preference with ideas underlying answer set programming. The rational semantics can implement a pervasive prioritized reasoning idea: The more preferential the precondition is, the more preferential the conclusion is. Rational preference logic is used to modeling the behavior of a rational agent. In this paper, we use rational preference axioms as the preference propagation principles. © 2011 IEEE.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

A processing method for inconsistent answer set programs based on minimal principle

A processing method for inconsistent answer set programs bas...

引用

International Conference on Automatic Control and Artificial Intelligence, ACAI 2012

作者： Zhu, Tao Zhang, Zhizheng Zhai, Yuqing Gao, Zhiqiang School of Computer Science and Engineering Southeast University Nanjing China Jiangsu Provincial Key Laboratory of Computer Information Processing Technology Suzhou University Suzhou China

ISBN: (纸本)9781849195379

Answer set programming (ASP) has become an important tool for knowledge representation and reasoning. Inconsistency processing in ASP provides a way for reasoning of inconsistent knowledge. In this paper, we present a minimal principle based method to process inconsistency in ASP. The method is able to ensure maximum retention of certain knowledge by removing the fewest defeasible rules preferentially. Then, we propose corresponding algorithms for simple logic programs and extended logic programs, and analyze the complexity of our method. After that, we compare this method with related work. Finally, we conclude and indicate the prospect of the further research.

关键词： processing

来源：评论

学校读者我要写书评

暂无评论

Mining approximate keys based on reasoning from XML data

Mining approximate keys based on reasoning from XML data

引用

17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013

作者： Yijun, Liu Feiyue, Ye Sheng, He School of Computer Engineering Jiangsu University of Technology Changzhou Jiangsu 213001 China Key Laboratory of Cloud Computing and Intelligent Information Processing of Changzhou City Changzhou Jiangsu 213001 China

ISBN: (纸本)9783642403187

keys are very important for data management. Due to the hierarchical and flexible structure of XML, mining keys from XML data is a more complex and difficult task than from relational databases. In this paper, we study mining approximate keys from XML data, and define the support and confidence of a key expression based on the number of null values on key paths. In the mining process, inference rules are used to derive new keys. Through the two-phase reasoning, a target set of approximate keys and its reduced set are obtained. Our research conducted experiments over ten benchmark XML datasets from XMark and four files in the UW XML Repository. The results show that the approach is feasible and efficient, with which effective keys in various XML data can be discovered. © Springer-Verlag 2013.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Efficiency-Controllable Random Walks on a Class of Recursive Scale-Free Trees with a Deep Trap

引用

Chinese Physics Letters 2015年第3期32卷 13-16页

作者：李玲关佶红周水庚 Department of Computer Science and Technology Tongji University Shanghai 201804 Department of Basic Courses Zhejiang Shuren University Hangzhou 310015 School of Computer Science Fudan University Shanghai 200433 Shanghai Key Lab of Intelligent Information Processing Fudan University Shanghai 200433

Controls, especially effficiency controls on dynamical processes, have become major challenges in many complex systems. We study an important dynamical process, random walk, due to its wide range of applications for modeling the transporting or searching process. For lack of control methods for random walks in various structures, a control technique is presented for a class of weighted treelike scale-free networks with a deep trap at a hub node. The weighted networks are obtained from original models by introducing a weight parameter. We compute analytically the mean first passage time （MFPT） as an indicator for quantitatively measurinM the et^ciency of the random walk process. The results show that the MFPT increases exponentially with the network size, and the exponent varies with the weight parameter. The MFPT, therefore, can be controlled by the weight parameter to behave superlinearly, linearly, or sublinearly with the system size. This work provides further useful insights into controllinM eftlciency in scale-free complex networks.

关键词： Efficiency-Controllable Random Walks on a Class of Recursive Scale-Free Trees with a Deep Trap

来源：评论

学校读者我要写书评

暂无评论

Robust dynamic skeleton extraction for blood vessels based on the level set method

Robust dynamic skeleton extraction for blood vessels based o...

引用

6th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009

作者： Cui, Zhiming Xu, Jing Feng, Daming Wu, Jian Institute Of Intelligent Information Processing and Application Soochow University Jiangsu 215006 China Department Of Computer S and T Soochow University Jiangsu Province Computer IT Key Lab. 215006 China

ISBN: (纸本)9780769537351

Skeleton has very important applications in objects expression, data compression, computer vision and animation. In the discrete space, the basic skeleton algorithms have two categories: one is thinning, the other is based on the distance transformation, in a high-dimensional space generatedfrom the suiface to form the ridge to create a skeleton. The skeleton which is based on the distance transform algorithm is accurate and smooth, but we must carefully check its continuity. Such a check of the continuity would be very difficult when the skeleton structure is complex. The biggest advantage ofthinning algorithm is that it can ensure that the skeleton is in a row and keeps the main topology of the initial target, but the general position is not accurate. In this paper, combining thinning algorithms and level set model, a dynamic robust vascular skeleton extraction algorithm is proposed. First using thinning technology to generate initial skeleton in a row, and then based on the level set model, it will guide the initial framework to the correct position. In this paper, the skeleton extracted from our algorithm not only maintains the exact location and the smooth appearance in a row at the same time curbs the noise of the border with a good robustness. © 2009 IEEE.

关键词： Blood vessels

来源：评论

学校读者我要写书评

暂无评论

A decoupled hybrid structure for active noise control with uncorrelatednarrowband disturbances 43

A decoupled hybrid structure for active noise control with u...

引用

43rd International Congress on Noise Control Engineering: Improving the World Through Noise Control, INTERNOISE 2014

作者： Wu, Lifu Qiu, Xiaojun Burnett, Ian S. Cheng, Eva Guo, Yecai Royal Melbourne Institute of Technology School of Electrical and Computer Engineering Australia Jiangsu Key Laboratory of Meteorological Observation and Information Processing Nanjing University of Information Science and Technology 210044 China

ISBN: (纸本)9780909882037

In real active noise control (ANC)applications,the following situations frequently occur, one isthat disturbances only present at the error sensor and havelowcorrelation with reference signal, the other is thatthere is no enough space or ideal position for locating the reference sensor to satisfy causality condition. Thusthe residual noise after feedforward control can be seen as uncorrelated narrowband disturbancesin these situationsand ahybrid adaptive feedforward and feedback structure is often utilized to cope with this *** efforts have been paid to improve the performance of the hybrid ANC system, nevertheless, few interests are concerned about the combination method between the feedforward and feedback structure. After investigating the conventional combination method of hybrid feedforward and feedback system, this paper introduces analternate combination method for hybrid ANC systemwhich featuresthat itavoidsthe coupling between the feedforward and feedback structures and both structures are concatenated to attenuate the ambient noise. Simulations are carried out to validatethe effectiveness of the introduced methodfor ANCwith uncorrelated narrowband disturbances.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Robust centerline extraction for tree-like blood vessels based on the region growing algorithm and level-set method

Robust centerline extraction for tree-like blood vessels bas...

引用

6th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009

作者： Xu, Jing Feng, Darning Wu, Jian Cui, Zhirning Institute Ofintelligent Information Processing and Application Soochow University Jiangsu 215006 China Department of Computer S and T Soochow University Jiangsu Province Computer IT Key Lab. 215006 China

ISBN: (纸本)9780769537351

In this paper, we present a tree-like blood vessels based on the region growing algorithm and level sets methodfor computing centerlines for both 2D and 3D shape analysis. Consider the tree-like vascular structure, we first use region growing technology to generate the shortest distance from the given root to all the pixels, ground on the distance can detect all the extreme nodes of branches automatically. Propagate wave-front from a point of skeleton line with the level sets, track the points of the largest curvature on the suiface of the wave-front, through solute differential equations, the skeleton can be gained. The proposed method is computationally inexpensive, not only maintain the position exactly and the shape smoothly and connectedly, and less sensitive to boundary noise. © 2009 IEEE.

关键词： Blood vessels

来源：评论

学校读者我要写书评

暂无评论

Mamba-Sea: A Mamba-based Framework with Global-to-Local Sequence Augmentation for Generalizable Medical Image Segmentation

arXiv

引用

arXiv 2025年

作者： Cheng, Zihan Guo, Jintao Zhang, Jian Qi, Lei Zhou, Luping Shi, Yinghuan Gao, Yang Shanghai Jiao Tong University School of Medicine Shanghai200025 China National Institute of Healthcare Data Science Nanjing University Jiangsu Nanjing210093 China State Key Laboratory for Novel Software Technology the National Institute of Healthcare Data Science Nanjing University Jiangsu Nanjing210093 China School of Computer Science and Engineering Key Lab of Computer Network and Information Integration Southeast University Jiangsu Nanjing211189 China School of Electrical and Information Engineering The University of Sydney SydneyNSW2006 Australia

To segment medical images with distribution shifts, domain generalization (DG) has emerged as a promising setting to train models on source domains that can generalize to unseen target domains. Existing DG methods are mainly based on CNN or ViT architectures. Recently, advanced state space models, represented by Mamba, have shown promising results in various supervised medical image segmentation. The success of Mamba is primarily owing to its ability to capture long-range dependencies while keeping linear complexity with input sequence length, making it a promising alternative to CNNs and ViTs. Inspired by the success, in the paper, we explore the potential of the Mamba architecture to address distribution shifts in DG for medical image segmentation. Specifically, we propose a novel Mamba-based framework, Mamba-Sea, incorporating global-to-local sequence augmentation to improve the model’s generalizability under domain shift issues. Our Mamba-Sea introduces a global augmentation mechanism designed to simulate potential variations in appearance across different sites, aiming to suppress the model’s learning of domain-specific information. At the local level, we propose a sequence-wise augmentation along input sequences, which perturbs the style of tokens within random continuous sub-sequences by modeling and resampling style statistics associated with domain shifts. To our best knowledge, Mamba-Sea is the first work to explore the generalization of Mamba for medical image segmentation, providing an advanced and promising Mamba-based architecture with strong robustness to domain shifts. Remarkably, our proposed method is the first to surpass a Dice coefficient of 90% on the Prostate dataset, which exceeds previous SOTA of 88.61%. The code is available at https://***/orange-czh/Mamba-Sea. Copyright © 2025, The Authors. All rights reserved.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Mobility-Aware Multi-Task Migration and Offloading Scheme for Internet of Vehicles

引用

Chinese Journal of Electronics 2023年第6期32卷 1192-1202页

作者： LI Xujie TANG Jing XU Yuan SUN Ying College of Computer and Information Hohai University State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Key Lab for Wireless Sensor Network and Communication Shanghai Institute of Microsystem School of Information Engineering Jiangsu Open University

In Internet of vehicles, vehicular edge computing(VEC) as a new paradigm can effectively accomplish various tasks. Due to limited computing resources of the roadside units(RSUs), computing ability of vehicles can be a powerful supplement to computing resources. Then the task to be processed in data center can be offloaded to the vehicles by the RSUs. Due to mobility of the vehicles, the tasks will be migrated among the RSUs. How to effectively offload multiple tasks to the vehicles for processing is a challenging problem. A mobility-aware multi-task migration and offloading scheme for Internet of vehicles is presented and analyzed. Considering the coupling between migration and offloading, the joint migration and offloading optimization problem is formulated. The problem is a NP-hard problem and it is very hard to be solved by the conventional methods. To tackle the difficult problem, the idea of alternating optimization and divide and conquer is introduced. The problem can be decoupled into two sub-problems: computing resource allocation problem and vehicle node selection problem. If the vehicle node selection is given, the problem can be solved based on Lagrange function. And if the allocation of computing resource is given, the problem turns into a 0-1 integer programming problem, and the linear relaxation of branch bound algorithm is introduced to solve it. Then the optimization value is obtained through continuous iteration. Simulation results show that the proposed algorithm can effectively improve system performance.

关键词： Costs Computational modeling System performance Simulation Programming Multitasking Resource management

来源：评论

学校读者我要写书评

暂无评论

DATG: Data Augmentation with Transformer-Based Generation for Low-Resource Named Entity Recognition

DATG: Data Augmentation with Transformer-Based Generation fo...

引用

2023 China Automation Congress, CAC 2023

作者： Yili, Qian Haonan, Xu School of Computer and Information Technology Shanxi University Key Lab. of Computational Intelligence and Chinese Information Processing of Ministry of Education Taiyuan China School of Computer and Information Technology Shanxi University Taiyuan China

ISBN: (纸本)9798350303759

Data augmentation is an important technique for enhancing machine learning performance. In this study, we propose a novel generative data augmentation method for named entity recognition, which addresses the challenge of limited labeled data in professional domains such as biomedical and chemical. The proposed method involves organizing input entities into a Transformer model to produce tagged sentences that are specifically related to the input entities. By leveraging external entity dictionaries, we effectively generate new tagged data and demonstrate its superiority over other data augmentation methods. Our approach offers a potential solution to the NER challenges faced in low-resource languages and specialized domains. © 2023 IEEE.

关键词： Data augmentation Named entity recognition Transformer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：