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

25th International Joint Conference on Artificial Intelligence, IJCAI 2016

作者： Wang, Ruiwei Xia, Wei Yap, Roland H.C. Li, Zhanshan School of Software Jilin University Changchun China Key Laboratory of Symbol Computation and Knowledge Engineering Education Ministry China School of Computing National University of Singapore Singapore

Maintaining Generalized Arc Consistency (GAC) during search is considered an efficient way to solve non-binary constraint satisfaction problems. Bit-based representations have been used effectively in Arc Consistency algorithms. We propose STRbit, a GAC algorithm, based on simple tabular reduction (STR) using an efficient bit vector support data structure. STRbit is extended to deal with compression of the underlying constraint with c-tuples. Experimental evaluation show our algorithms are faster than many algorithms (STR2, STR2-C, STR3, STR3-C and MDDc) across a variety of benchmarks except for problems with small tables where complex data structures do not payoff.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Checking linearizability with fine-grained traces 16

Checking linearizability with fine-grained traces

引用

31st Annual ACM Symposium on Applied Computing, SAC 2016

作者： Long, Zhenyue Zhang, Yu State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Laboratory of Symbol Computation and Knowledge Zhuhai College Jilin University China Information Center Guangdong Power Grid Co. Ltd. China

ISBN: (纸本)9781450337397

Linearizability is an important correctness criterion for concurrent objects and automatic checking of linearizability often involves searching a sequential witness in an exponentially growing space of traces. We present two acceleration techniques for checking linearizability based on fine-grained traces: one is based on speculation of linearization points, and the other is to separate read-only methods from the enumeration of serial witnesses. We have applied them to checking linearizability of eight different algorithms and the experiment shows that both can offer significant speed-up, allowing us to explore further on error analysis of concurrent objects based on fine-grained traces. © 2016 ACM.

关键词： fine-grained trace automatic verification linearizability

来源：评论

学校读者我要写书评

暂无评论

A Chinese Topic Crawler Focused on Customer Development

引用

Procedia CIRP 2016年 56卷 476-480页

作者： Tong Wu Yanchun Liang Chunguo Wu Shifeng Piao Deyin Ma Guozhong Zhao Xiaosong Han College of Computer Science and Technology Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry Jilin University Changchun 130012 China Zhuhai Laboratory of Key Laboratory for Symbol Computation and Knowledge Engineering of Ministry of Education Zhuhai College of Jilin University Zhuhai 519041 China School of Business Jilin University Changchun 130012 China Daqing Oilfield Personnel Development Institute CNPC Daqing 163000 China

This paper presents a Chinese topic crawler focused on customer development, in order to meet the needs of users for more accurate and particular Internet information. The concept of meta-search engine is introduced, and the keywords are expanded by the ontology of HowNet. Through the web crawler, preprocessing and classification, the information on customer relations can be divided into three categories: company, platform and meaningless. Numerical experiments show that satisfactory results can be obtained in some particular information-seeking areas. The average accuracy for classification is more than 80%, which can meet customer needs in most cases.

关键词： Topic crawler Customer development Meta-search engine Semantic similarity

来源：评论

学校读者我要写书评

暂无评论

The BBC News Hunter: A Novel Crawler for BBC News

The BBC News Hunter: A Novel Crawler for BBC News

引用

The Second International Conference of Young Computer Scientists, Engineers and Educators,ICYCSEE 2016

作者： Mingxin Wang Ning Wang Boran Wang Can Tian Yanchun Liang Guozhong Zhao Xiaosong Han College of Software Jilin University Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry College of Computer Science and Technology Jilin University Zhuhai Laboratory of Key Laboratory for Symbol Computation and Knowledge Engineering of Ministry of Education Zhuhai College of Jilin University Daqing Oilfield Personnel Development Institute CNPC

In order to distinguish and extract the topic information from other interferential information on the BBC news website for the study in social computing, the BBC News Hunter was proposed in this paper. The whole system consists of 6 subsystems, respectively named: UI, Control, Download, Analysis,Storage and Log. Numerical experiments show that satisfactory results can be obtained from the BBC news website, whose average accuracy as well as efficiency are acceptable.

关键词： BBC Crawler News HTML parser Multithread

来源：评论

学校读者我要写书评

暂无评论

A local gradient based peak search algorithm for three-dimensional rotation electron diffraction image processing

A local gradient based peak search algorithm for three-dimen...

引用

International Conference on Systems and Informatics (ICSAI)

作者： Xinzheng Dong Yixuan Wang He Yin Zhuhai College of Jilin University Zhuhai Laboratory of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Zhuhai China

ISBN: (纸本)9781509055227

Peak search for three-dimensional rotation electron diffraction image is almost the most important step in crystal structure determination. The difference of Gaussian method is the traditional approach for this task with the disadvantage that values of three tunable parameters need to be determined by users. To address this drawback, this paper presents a local gradient based peak search algorithm that needs only one tunable parameter. Experiments show that our proposed method is as effective as the difference of Gaussian method in peak detection task, but has obvious advantages in speed and convenience.

关键词： Diffraction Dogs Kernel Standards Software algorithms Shape

来源：评论

学校读者我要写书评

暂无评论

Hyponymy Graph Model for Word Semantic Similarity Measurement

引用

Chinese Journal of Electronics 2015年第1期24卷 96-101页

作者： WANG Junhua ZUO Wanli PENG Tao College of Computer Science and Technology Jilin University Key Laboratory of Symbol Computation and Knowledge Engineering attached to the Ministry of Education

Measuring word semantic similarity is a generic problem with a broad range of applications such as ontology mapping, computational linguistics and artificial intelligence. Previous approaches to computing word semantic similarity did not consider concept occurrence frequency and word’s sense number. This paper introduced Hyponymy graph, and based on which proposed a novel word semantic similarity model. For two words to be compared, we first retrieve their related concepts; then produce lowest common ancestor matrix and distance matrix between concepts; finally calculate distance-based similarity and information-based similarity, which are integrated to get final semantic similarity. The main contribution of our method is that both concept occurrence frequency and word’s sense number are taken into account. This similarity measurement more closely fits with human rating and effectively simulates human thinking process. Our experimental results on benchmark dataset M&C and R&G with Word Net2.1 as platform demonstrate roughly 0.9%–1.2%improvements over existing best approaches.

关键词： Word semantic similarity Concept semantic similarity Semantic similarity Hyponymy graph model Word Net.

来源：评论

学校读者我要写书评

暂无评论

The Response of Lake to Glacier in Akesu River-Kaidu River Small Watershed during 30 Years

引用

IOP Conference Series: Earth and Environmental Science 2017年第1期51卷

作者： Hanwen Cui Qigang Jiang Department of Computer Science and Technology Zhuhai College of Jilin University Zhuhai 519041 China Zhuhai Laboratory of Key Laboratory of Education Ministry's Symbol Computation and Knowledge Engineer Zhuhai 519041 China College of geo-exploration science and technology Jilin University Changchun 130026 China

Glacier is a sensitive indicator of the climate change, and also closely related to human beings. RS and GIS supply effective means to research the change of glacier. Those are important methods for compensating the shortage of previous ones. Small watershed is the basic unit of water circulation. Thus, the more reliable conclusion, which is the response of lake to glacier, will be obtained by the small watershed. In this paper, dividing the watershed into the smaller one, the Akesu River-Kaidu River small watershed was chosen as study area. Based on RS and GIS, under the climate change from cold-dry to warm-wet since 1977, 2000 and 2007, the variety of glacier was shown as decreasing firstly and then increasing a little. Meanwhile, the variety of lake was presented as increasing firstly and then decreasing greatly. However, the change tendency of glacier and lake was decreased. The decreased areas were 823.3 km2 and 239.5km2 separately. According to the spatial bivariate auto-correlation analysis map, the negative correlation between glacier and lake was more distinct. In Tianshan Mountain, owing to the change mainly influenced by elevation, glacier was decreased and lake was increased. In Bosten Lake, glacier was increased and lake was decreased due to the change mainly affected by climate.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Sustainable City Planning Algorithm Based on TLBO and Local Search

引用

IOP Conference Series: Materials Science and engineering 2017年第1期242卷

作者： Ke Zhang Li Lin Xuanxuan Huang Yiming Liu Yonggang Zhang College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University) Ministry of Education Changchun 130012 China

Nowadays, how to design a city with more sustainable features has become a center problem in the field of social development, meanwhile it has provided a broad stage for the application of artificial intelligence theories and methods. Because the design of sustainable city is essentially a constraint optimization problem, the swarm intelligence algorithm of extensive research has become a natural candidate for solving the problem. TLBO (Teaching-Learning-Based Optimization) algorithm is a new swarm intelligence algorithm. Its inspiration comes from the 'teaching' and 'learning' behavior of teaching class in the life. The evolution of the population is realized by simulating the 'teaching' of the teacher and the student 'learning' from each other, with features of less parameters, efficient, simple thinking, easy to achieve and so on. It has been successfully applied to scheduling, planning, configuration and other fields, which achieved a good effect and has been paid more and more attention by artificial intelligence researchers. Based on the classical TLBO algorithm, we propose a TLBO_LS algorithm combined with local search. We design and implement the random generation algorithm and evaluation model of urban planning problem. The experiments on the small and medium-sized random generation problem showed that our proposed algorithm has obvious advantages over DE algorithm and classical TLBO algorithm in terms of convergence speed and solution quality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Link prediction in social network based on local information and attributes of nodes

引用

Journal of Physics: Conference Series 2017年第1期887卷

作者： Yingying Liang Lan Huang Zhe Wang College of Computer Science and Technology Jilin University 130012 Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University) Ministry of Education 130012 Changchun China Zhuhai College of Jilin University 519041 Zhuhai China

Link prediction is essential to both research areas and practical applications. In order to make full use of information of the network, we proposed a new method to predict links in the social network. Firstly, we extracted topological information and attributes of nodes in the social network. Secondly, we integrated them into feature vectors. Finally, we used XGB classifier to predict links using feature vectors. Through expanding information source, experiments on a co-authorship network suggest that our method can improve the accuracy of link prediction significantly.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on collaborative filtering recommendation based on k-means clustering

引用

ICIC Express Letters 2016年第10期10卷 2493-2498页

作者： Dong, Liyan Zhu, Gaozi Zhu, Qi Li, Yongli College of Computer Science and Technology Jilin University No. 2699 Qianjin Street Changchun130012 China Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Jilin University No. 2699 Qianjin Street Changchun130012 China School of Computer Science and Information Technology Northeast Normal University No. 2555 Jingyue Ave Changchun130117 China

In accordance with the inaccuracy of searching neighbors in traditional collaborative filtering algorithms, we narrow down the space of neighbor searching by means of partition clustering to improve the real-time performance of recommendations. Then by taking the similarity measurement into consideration, we convert the high-dimensional sparse matrix of user rating to the low-dimensional dense matrix of user interest to enhance the accuracy of recommendations. Experiments proved that combining the partition clustering based on user interests and collaborative filters could contribute to increasing real-time speed and the accuracy of recommendation effectively. © 2016 ICIC International.

关键词： Collaborative filtering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：