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

2nd International Workshop on Intelligent Systems and Applications, ISA2010

作者： Li, Zhan-Shan Du, Hui-Ying Xing, Shi-Mei Meng, Fan-Wei School 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: (纸本)9781424458745

We have studied the AC-4 algorithm and then present value ordering heuristic for solving algorithm BT-MSV which is based on the AC-4 algorithm. This algorithm takes full advantage of supported information which is recorded in the data structure of the AC-4 algorithm during the process of arc consistency. The algorithm sorts the value of the variables' domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms. ©2010 IEEE.

关键词： AC-4 Arc consistency Solving algorithm Value ordering heuristic

来源：评论

学校读者我要写书评

暂无评论

Flexible planning using fuzzy description logics

Flexible planning using fuzzy description logics

引用

2007 International Conference on Artificial Intelligence, ICAI 2007

作者： Shi, Lian Sun, Jigui Lu, Shuai Yin, Minghao College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun 130012 China

ISBN: (纸本)9781601320254

Description Logics are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to dealing with precise and well defined concepts. In this paper we first present a fuzzy extension of ALC and define its syntax and semantics. Then we devote to taking advantage of the expressive power and reasoning capabilities of fuzzy ALC by encoding flexible planning problems within the framework of fuzzy ALC. Both theory and experimental results have shown that our method is sound and efficient.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

key value ordering heuristic for solving algorithm based on the AC-4 algorithm

Key value ordering heuristic for solving algorithm based on ...

引用

2010 International Conference on Computer, Mechatronics, Control and Electronic engineering, CMCE 2010

作者： Li, Zhan-Shan Du, Hui-Ying Snen, Hai-Jiao Wang, Zi-Wen School of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

ISBN: (纸本)9781424479566

We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state information of the data structure used in the AC-4 algorithm after the process of arc consistency. The algorithm sorts the values of the variables' domain according to the key importance of the values. So this order forces the solving algorithm to give priority to extend the key values of variables. In this way, the efficiency of the solving algorithm can be improved a lot. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms. © 2010 IEEE.

关键词： AC-4 Arc consistency key value Solving algorithm Value ordering heuristic

来源：评论

学校读者我要写书评

暂无评论

Black-box expectation propagation for Bayesian models

Black-box expectation propagation for Bayesian models

引用

2018 SIAM International Conference on Data Mining, SDM 2018

作者： Li, Ximing Li, Changchun Chi, Jinjin Ouyang, Jihong Wang, Wenting College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China College of Mathematics Jilin University China

In this paper, we develop a generic black-box expectation propagation (BBEP) algorithm that can be directly applied to Bayesian models without model-specific derivations. BBEP is built on the spirit of using Monte Carlo estimates, where the moment matching step in EP is replaced with Monte Carlo approximations. To avoid high variance, we employ importance sampling for variance reduction and analyze how to find an optimal proposal distribution. We compare BBEP against the state-of-the-art black-box algorithms on both synthetic and real-world data sets. The experimental results indicate that BBEP can reach better predictive performance than baseline algorithms, and even can be on a par with analytical solutions in some settings. © 2018 by SIAM.

关键词： Importance sampling

来源：评论

学校读者我要写书评

暂无评论

A Sparse Optical Flow Method for Camera Tracking under Fisheye Camera Models 5

A Sparse Optical Flow Method for Camera Tracking under Fishe...

引用

5th International Conference on Frontiers Technology of Information and Computer, ICFTIC 2023

作者： Zhang, Zuoming Wang, Xin College of Computer Science and Technology Jilin China College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin China

ISBN: (纸本)9798350309034

In computer image processing, optical flow is a classic task used to track the motion of pixels. In the field of robotics, methods like SLAM extensively employ sparse optical flow as a substitute for time-consuming feature point matching methods, enabling rapid and stable camera tracking. However, the widespread use of fisheye cameras introduces distortion issues in practical applications. Traditional sparse optical flow struggles to accurately track pixel positions in such scenarios, affecting the precision of camera pose tracking. Therefore, we introduce a sparse optical flow method designed for fisheye camera models, which correctly utilizes prior information obtained during camera tracking to enhance the accuracy of sparse optical flow. Finally, we propose a scheme for constructing a semi-distortion lookup table to accelerate distortion operations and reduce memory requirements. We conducted extensive testing on simulated datasets with various camera motion scenarios, and the experimental results demonstrate that our method outperforms OpenCV in terms of accuracy and versatility. © 2023 IEEE.

关键词： camera tracking component distortion fisheye camera model optical flow

来源：评论

学校读者我要写书评

暂无评论

Warburg Effects in Cancer and Normal Proliferating Cells:Two Tales of the Same Name

引用

Genomics, Proteomics & Bioinformatics 2019年第3期17卷 273-286页

作者： Huiyan Sun Liang Chen Sha Cao Yanchun Liang Ying Xu The China-Japan Union Hospital Jilin UniversityChangchun 130033China MOE Key Laboratory of Symbolic Computation and Knowledge Engineering College of Computer Science and TechnologyJilin UniversityChangchun 130012China Computational Systems Biology Lab Department of Biochemistry and Molecular Biology and Institute of BioinformaticsUniversity of GeorgiaAthensGA 30602USA Faculty of Health Sciences University of MacaoTaipaMacao SAR 999078China Department of Biostatistics School of MedicineIndiana UniversityIndianapolisIN 46202USA Zhuhai Laboratory of MOE Key Laboratory of Symbolic Computation and Knowledge Engineering Zhuhai College of Jilin UniversityZhuhai 519041China

It has been observed that both cancer tissue cells and normal proliferating cells(NPCs)have the Warburg *** goal here is to demonstrate that they do this for different *** accomplish this,we have analyzed the transcriptomic data of over 7000 cancer and control tissues of 14 cancer types in TCGA and data of five NPC types in *** analyses reveal that NPCs accumulate large quantities of ATPs produced by the respiration process before starting the Warburg effect,to raise the intracellular pH from 6.8 to 7.2 and to prepare for cell division *** cell cycle starts,the cells start to rely on glycolysis for ATP generation followed by ATP hydrolysis and lactic acid release,to maintain the elevated intracellular pH as needed by cell division since together the three processes are pH *** cells go back to the normal respirationbased ATP production once the cell division phase *** comparison,cancer cells have reached their intracellular pH at 7.4 from top down as multiple acid-loading transporters are up-regulated and most acid-extruding ones except for lactic acid exporters are *** cells use continuous glycolysis for ATP production as way to acidify the intracellular space since the lactic acid secretion is decoupled from glycolysis-based ATP generation and is pH balanced by increased expressions of acid-loading ***-expression analyses suggest that lactic acid secretion is regulated by external,non-pH related ***,our data strongly suggest that the two cell types have the Warburg effect for very different reasons.

关键词： Cancer Warburg effect Fenton reaction Cell proliferation pH homeostasis

来源：评论

学校读者我要写书评

暂无评论

Entailment-based axiom pinpointing in debugging incoherent terminologies 1

Entailment-based axiom pinpointing in debugging incoherent t...

引用

1st International Workshop on Semantic Technologies, IWOST 2015

作者： Ye, Yuxin Ouyang, Dantong Su, Jing College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun130012 China

One of the major problems of axiom pinpointing for incoherent terminologies is the precise positioning within the conflict axioms. In this paper we present a formal notion for the entailment-based axiom pinpointing of incoherent terminologies, where the parts of an axiom is defined by atomic entailment. Based on these concepts, we prove the one-to-many relationship between existing axiom pinpointing with the entailment-based axiom pinpointing. For its core task, calculating minimal unsatisfiable entailment, we provide algorithms for OWL DL terminologies using incremental strategy and Hitting Set Tree algorithm. The feasibility of our method is shown by case study and experiment evaluations.

关键词： Terminology

来源：评论

学校读者我要写书评

暂无评论

A wireless intrusion detection method based on dynamic growing neural network

A wireless intrusion detection method based on dynamic growi...

引用

First International Multi- Symposiums on Computer and computational Sciences, IMSCCS'06

作者： Liu, Yanheng Tian, Daxin Li, Bin Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education Changchun 130012 China College of Mathematics Science Jilin University Changchun 130012 China

ISBN: (纸本)0769525814

In this paper an intrusion detection method based on Dynamic Growing Neural Network (DGNN) for wireless networking is presented. DGNN is based on the Hebbian learning rule and adds new neurons under certain conditions. When DGNN performs supervised learning, resonance will happen if the winner can't match the training example;this rule combines the ART/ARTMAP neural network and WTA learning rule. When DGNN performs unsupervised learning, post-prune is carried out to prevent overfitting the training data just like decision tree learning. The intrusion detection method is an anomaly detection method and the feature is selected from the packets. In the experiments, we first check the ability of the neural network and then use it to perform detection in a WLAN. The results show that it can detect new intrusion behavior and some improving methods are presented in the conclusions. © 2006 IEEE.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: Experimental research on a new authentication protocol for wireless communication network based on WiMAX

RETRACTED ARTICLE: Experimental research on a new authentica...

引用

2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008

作者： Li, Ruixue Fang, Zhiyi Xu, Peng Xiao, Wei Wang, Wei Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education Changchun 130012 China School of Computer Northeast Normal University Changchun 130000 China

ISBN: (纸本)9781424421084

According to the security features of WiMAX-based wireless communication network, a fresh new wireless communication authentication protocol called WCAP was advanced and designed adopting the dual-key authentication scheme based on trusted third party; its security was analyzed by two means of technical realization and formal analysis; the protocol was implemented by devising an integrated security authentication module; a test environment was set to test function and performance of the protocol. The analysis and test results show that WCAP achieves the original safety design goals on the premise of its correctness and performance. © 2008 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Designment of E-R model based on RDF (S) 2

Designment of E-R model based on RDF (S)

引用

2nd International Workshop on Semantic Technologies, IWOST 2015

作者： Gao, Xiangbin Ouyang, Dantong Ye, Yuxin College of Computer Science and Technology Jilin University Changchun130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun130012 China

Based on the vast domain resources of RDF (S) on the web and SPARQL's powerful query ability, this article presents a new method of designment of E-R model. The steps for this design are: (1) Formu- lating SPARQL rules (including resource query rules and schema query rules) by the analysis of RDF (S)'s structure. (2) Parsing the optimal resource obtained through the query sentences. (3) Completing the de- signment by taking advantages of the translation from RDF (S) model to entity-relationship model in accordance with the content queried. The re- sults indicate that, the designment of E-R model based on RDF (S) could restore user real requirements of great possibilities and help database de- signer to complete design in a strange area.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：