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

International Conference on information Science and Digital Content Technology

作者： Peng Li Lejian Liao Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications Multi-living-agent Information System Key Laboratory and Beijing Laboratory of Intelligent Information Technology School of Computer Scienc

ISBN: (纸本)9781467312882

This paper presents a novel WQA (Web Question Answering) approach based on the combination CCG (Combinatory Categorial Grammar) and DL (Description Logic) ontology, in order to promote semantic-level accuracy through deep text understanding capabilities. We propose to take DL based semantic modeling, i.e., translating lambda-expression encoding of question meaning into DL based semantic representations. The advantage of such approach is a seamless exploitation of existing semantic resource coded as DL ontology, which is widespread in such area as the Semantic Web and conceptual modeling. The experiments are conducted with a repository of complex Chinese questions which involves the satisfaction of some object property restrictions. The experimental results show that producing the semantic representations with the combination of CCG parsing and DL reasoning is an effective approach for question understanding at semantic level, in terms of both understanding accuracy promotion and semantic resource exploitation.

关键词： Semantics Ontologies Syntactics Grammar Cognition Accuracy Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Parallel implementation of apriori algorithm based on MapReduce

Parallel implementation of apriori algorithm based on MapRed...

引用

13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed computing, SNPD 2012

作者： Li, Ning Zeng, Li He, Qing Shi, Zhongzhi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University Chinese Academy of Sciences Beijing 100139 China Key Lab. of Machine Learning and Computational Intelligence College of Mathematics and Computer Science Hebei University Baoding 071002 Hebei China

ISBN: (纸本)9780769547619

Searching frequent patterns in transactional databases is considered as one of the most important data mining problems and Apriori is one of the typical algorithms for this task. Developing fast and efficient algorithms that can handle large volumes of data becomes a challenging task due to the large databases. In this paper, we implement a parallel Apriori algorithm based on MapReduce, which is a framework for processing huge datasets on certain kinds of distributable problems using a large number of computers (nodes). The experimental results demonstrate that the proposed algorithm can scale well and efficiently process large datasets on commodity hardware. © 2012 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

A Mapping from TVPCCS into BPEL

A Mapping from TVPCCS into BPEL

引用

2012 IEEE 3rd International Conference on Software Engineering and Service Science(第三届IEEE软件工程与服务科学国际会议 ICSESS2010)

作者： Mohammed Lamine Beggar Liao Lejian Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications Beijing Key Laboratory of Intelligent Information TechnologySchool of Computer ScienceBeijing Institute of Technology Beijing 100081China

The Web Services Business Process Execution Language (BPEL) is a language used to specify compositions of web services. In the last few years, a considerable amount of work has been done on modeling (parts of) BPEL and developing verification techniques and tools for BPEL. Petri nets and formal languages have been widely used to model Web services composition, but temporal value passing calculus of communicating systems (TVPCCS) language seems to be more adequate for several reasons. Generally BPEL programs are mapped to other languages and then the verification is performed, A more promising way is to directly build TVPCCS model, to check it and then map it to a BPEL process model. This paper describes a mapping from TVPCCS onto BPEL process model.

关键词： Web services BPEL TVPCCS process algebra

来源：评论

学校读者我要写书评

暂无评论

A Mapping from TVPCCS into BPEL

A Mapping from TVPCCS into BPEL

引用

2012 IEEE 3rd International Conference on Software Engineering and Service Science（ICSESS 2012）

作者： Mohammed Lamine Beggar Beijing Engineering Research Centre of High Volume Language Information Processing & Cloud Computing Applications Beijing Key Laboratory of Intelligent Information TechnologySchool of Computer ScienceBeijing Institute of Technology Beijing 100081China

The Web Services Business Process Execution Language (BPEL) is a language used to specify compositions of web *** the last few years,a considerable amount of work has been done on modeling (parts of) BPEL and developing verification techniques and tools for *** nets and formal languages have been widely used to model Web services composition,but temporal value passing calculus of communicating systems (TVPCCS) language seems to be more adequate for several *** BPEL programs are mapped to other languages and then the verification is performed,A more promising way is to directly build TVPCCS model,to check it and then map it to a BPEL process *** paper describes a mapping from TVPCCS onto BPEL process model.

关键词： Web services,BPEL,TVPCCS,process algebra.

来源：评论

学校读者我要写书评

暂无评论

ICT: System Description for CoNLL-2012 12

ICT: System Description for CoNLL-2012

引用

Joint Conference on Empirical Methods in Natural Language processing and Computational Natural Language Learning

作者： Hao Xiong Qun Liu Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences P.O. Box 2704 Beijing 100190 China

ISBN: (纸本)9781627484046

In this paper, we present our system description for the CoNLL-2012 coreference resolution task on English, Chinese and Arabic. We investigate a projection-based model in which we first translate Chinese and Arabic into English, run a publicly available coreference system, and then use a new projection algorithm to map the coreferring entities back from English into mention candidates detected in the Chinese and Arabic source. We compare to a baseline that just runs the English coreference system on the supplied parses for Chinese and Arabic. Because our method does not beat the baseline system on the development set, we submit outputs generated by the baseline system as our final submission.

关键词： Arabic language English English language Projection algorithms Chinese Chinese philosophy Chinese art BASELINE information technology information and communication technology International Criminal Tribunal Coreference Resolution

来源：评论

学校读者我要写书评

暂无评论

ICT: A System Combination for Chinese Semantic Dependency Parsing 12

ICT: A System Combination for Chinese Semantic Dependency Pa...

引用

Joint Conference on Lexical and Computational Semantics

作者： Hao Xiong Qun Liu Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences P.O. Box 2704 Beijing 100190 China

ISBN: (纸本)9781622765027;1622765028

The goal of semantic dependency parsing is to build dependency structure and label semantic relation between a head and its modifier. To attain this goal, we concentrate on obtaining better dependency structure to predict better semantic relations, and propose a method to combine the results of three state-of-the-art dependency parsers. Unfortunately, we made a mistake when we generate the final output that results in a lower score of 56.31% in term of labeled Attachment Score (LAS), reported by organizers. After giving golden testing set, we fix the bug and rerun the evaluation script, this time we obtain the score of 62.8% which is consistent with the results on developing set. We will report detailed experimental results with correct program as a comparison standard for further research.

关键词： System Combination Chinese Semantic Dependency Parsing dependency DEPENDENCE Semantics Parsing bugs information technology information and communication technology International Criminal Tribunal

来源：评论

学校读者我要写书评

暂无评论

ICT: A Translation based Method for Cross-lingual Textual Entailment 12

ICT: A Translation based Method for Cross-lingual Textual En...

引用

Joint Conference on Lexical and Computational Semantics

作者： Fandong Meng Hao Xiong Qun Liu Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences P.O. Box 2704 Beijing 100190 China

ISBN: (纸本)9781622765027

In this paper, we present our system description in task of Cross-lingual Textual Entailment. The goal of this task is to detect entailment relations between two sentences written in different languages. To accomplish this goal, we first translate sentences written in foreign languages into English. Then, we use EDITS, an open source package, to recognize entailment relations. Since EDITS only draws monodirectional relations while the task requires bidirectional prediction, thus we exchange the hypothesis and test to detect entailment in another direction. Experimental results show that our method achieves promising results but not perfect results compared to other participants.

关键词： foreign language information technology information and communication technology International Criminal Tribunal open source Translations based Translation Translation Process

来源：评论

学校读者我要写书评

暂无评论

Modeling and testing embedded system by model checking

引用

International Journal of Advancements in computing Technology 2012年第17期4卷 18-27页

作者： Sun, Fuzhen Song, Dandan Liao, Lejian Li, Guoqiang Beijing Engg. Res. Centre of High Volume Language Information Processing and Cloud Computing Appl Beijing Key Laboratory of Intelligent Information Technology School of Computer Science Beijing Institute of Technology China School of Computer Science and Technology Shandong University of Technology China

Software testing is the key validation technique used by industry up to today, but remain error prone and expensive cost. Automatically generating test cases from formal models of the system under test is a promising improvement approach to cut down the testing cost. This paper introduces a technique that automatically generate real-time conformance test cases from timed automata specifications. First, both reactive system and its environment is modeled by restricted automata with the notion of deterministic, input enabled and output urgent. Then demonstration is given to show how to efficiently generate real-time test cases with optimal execution time from diagnostic trace. Finally, we formally specify user's single purpose or coverage criteria to convert the test case generation problem into a reachability problem. This approach is implemented using model checkers as test case generation tools and experiment results on three different coverage criteria specifications show feasibility and effectiveness of our technique.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A Group key assignment scheme based on multi-dimensional space circle properties

引用

International Journal of Advancements in computing Technology 2012年第16期4卷 508-514页

作者： Ge, Lina School of information science and engineering Guangxi University for nationalities Nanning Guangxi 530006 China Science Computing and Intelligent Information Processing of Guangxi higer education key lab. Guangxi Teacher Education University Nanning 530023 China

A group key assignment scheme based on multi-dimensional space circle properties is proposed, which enable the members of a group to obtain the group key by both the public information published on the notice board and the secret information of their own. The proposed scheme can be divided into three phases: user registration, group key assignment, and group key computation. The proposed scheme has such advantages as easy operations of group key update and member's join/leave, and the security properties of forward secrecy and backward secrecy.

关键词： Geometric approach Group key assignment Multi-dimensional space circle properties

来源：评论

学校读者我要写书评

暂无评论

Irregular community discovery for cloud service improvement

Irregular community discovery for cloud service improvement

引用

作者： Liu, Jin Zhou, Jing Wang, Junfeng Zhang, Feng Liu, Fei State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China Lab. of Complex Systems and Intelligence Science Institute of Automation CAS Beijing 100190 China State Key Lab. for Novel Software Technology Nanjing University Nanjing China School of Computer Science Communication University of China Beijing 100024 China Key Lab. of Intelligent Information Processing Institute of Computing Technology CAS Beijing 100190 China College of Computer Science Sichuan University Chengdu 610064 China Software School Sun Yat-sen University Guangzhou 510006 China

Utility services provided by cloud computing rely on virtual customer communities forming spontaneously and evolving continuously. Clarifying the explicit boundaries of these communities is thus essential to the quality of utility services in cloud computing. Communities with overlapping features or prominent peripheral vertexes are usually typical irregular communities. Traditional community identification algorithms are limited in discovering irregular topological structures from CR networks, whereas these irregular shapes typically play an important role in finding prominent customers which are ignored in social CRM otherwise. We present a novel method of discovering irregular communities. It firstly finds and merges primitive maximal cliques and the irregular features of overlapping and prominent sparse vertices are further considered. An empirical case and a methodology comparison confirm the feasibility and efficiency of our approach. © 2012 Springer Science+Business Media, LLC.

关键词： cloud computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：