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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

609 篇 会议
222 篇 期刊文献
3 册 图书

馆藏范围

834 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

637 篇 工学
- 537 篇 计算机科学与技术...
- 447 篇 软件工程
- 123 篇 信息与通信工程
- 91 篇 控制科学与工程
- 44 篇 电子科学与技术（可...
- 43 篇 电气工程
- 41 篇 生物工程
- 36 篇 机械工程
- 28 篇 动力工程及工程热...
- 26 篇 光学工程
- 23 篇 化学工程与技术
- 21 篇 材料科学与工程（可...
- 21 篇 建筑学
- 19 篇 安全科学与工程
- 18 篇 仪器科学与技术
- 18 篇 交通运输工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 9 篇 航空宇航科学与技...
358 篇 理学
- 260 篇 数学
- 59 篇 物理学
- 56 篇 统计学（可授理学、...
- 52 篇 系统科学
- 43 篇 生物学
- 27 篇 化学
213 篇 管理学
- 120 篇 管理科学与工程(可...
- 109 篇 图书情报与档案管...
- 57 篇 工商管理
25 篇 法学
- 19 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
8 篇 医学
6 篇 教育学
6 篇 农学
4 篇 艺术学
1 篇 文学
1 篇 军事学

主题

22 篇 semantics
13 篇 computational mo...
13 篇 web services
12 篇 data mining
10 篇 computer science
10 篇 optimization
10 篇 forecasting
9 篇 clustering algor...
8 篇 conferences
8 篇 computer archite...
8 篇 neural networks
8 篇 analytical model...
7 篇 ordinary differe...
7 篇 software quality
7 篇 feature extracti...
7 篇 software
7 篇 cloud computing
7 篇 measurement
7 篇 privacy
7 篇 training

机构

89 篇 state key lab. f...
56 篇 state key lab. o...
28 篇 state key lab. o...
28 篇 university of ch...
26 篇 state key lab. o...
22 篇 state key lab. o...
22 篇 computer school ...
14 篇 tianjin key lab....
14 篇 state key lab. f...
13 篇 department of co...
13 篇 school of comput...
12 篇 beijing key lab....
12 篇 state key lab. o...
11 篇 key laboratory o...
10 篇 department of co...
10 篇 state key labora...
10 篇 school of comput...
10 篇 hunan provincial...
10 篇 school of comput...
10 篇 nanjing universi...

作者

23 篇 zhan naijun
20 篇 xue bai
15 篇 liu jin
13 篇 guosheng kang
11 篇 du junping
11 篇 chen ling
10 篇 liu wei
10 篇 wang hongan
9 篇 zhan bohua
9 篇 liu jianxun
9 篇 jianxun liu
8 篇 kang guosheng
8 篇 he keqing
8 篇 bai xue
8 篇 wu enhua
8 篇 sanglu lu
8 篇 he yanxiang
8 篇 dai guozhong
7 篇 zhang degan
7 篇 zhang xiaolong

语言

793 篇 英文
31 篇 中文
10 篇 其他

检索条件"机构=Key Lab. of System Software and State Key Lab. of Computer Science"

共 834 条记录，以下是61-70 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Deforming surface simplification based on feature preservation

Deforming surface simplification based on feature preservati...

引用

6th International Conference of Entertainment Computing, ICEC 2007

作者： Shixue, Zhang Enhua, Wu Dept. of Computer and Information Science University of Macau Macao China State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences China

ISBN: (纸本)3540748725

In computer graphics, methods for mesh simplification are common. However, most of them focus on static meshes, only few works have been proposed for simplifying deforming surfaces. In this paper, we propose a new method for the multiresolution representation of time-varying meshes based on deformation area and feature preservation. Our method uses the famous QEM (quadric error metric) as our basic metric. The idea is to modify the edge collapse cost by adding the deformation and sharp feature weight to the aggregated quadrics errors when computing the unified edge contraction sequence, then adjust this sequence slightly for each frame to get a minimum geometry distortion. Our approach is fast, easy to implement, and as a result good quality dynamic approximations with well-preserved fine details can be generated at any given frame. © ERIP International Federation for Information Processing 2007.

关键词： computer graphics

来源：评论

学校读者我要写书评

暂无评论

A collab.rative method for business process oriented requirements acquisition and refining

A collaborative method for business process oriented require...

引用

2014 International Conference on software and systems Process, ICSSP 2014

作者： Lai, Han Peng, Rong Ni, Yuze State Key Lab. of Software Engineering Computer School Wuhan University Wuhan China Chongqing Key Lab. of Electronic Commerce and Supply Chain System Chongqing Technology and Business University Chongqing China School of Computer Science and Information Engineering Chongqing Technology and Business University Chongqing China

ISBN: (纸本)9781450327541

Requirements Elicitation (RE) is a critical process in system/software engineering. Its goal is to capture the stakeholders expectations, needs and constraints, which can be elicited, analyzed and specified as requirements. Gathering the requirements correctly, clearly and completely in a natural way is a typical challenging problem, because requirements analysts always play key roles in the elicitation process dominantly while stakeholders participate in passively. In this paper, we propose a collective intelligence driven business process oriented requirements acquisition and refining method. Its aim is to reduce the requirements analysts dominance and promote stakeholders self-expression and self-improvement to elicit requirements clearly and completely. It adopts the group storytelling method to promote the collab.ration and communication among stakeholders, utilizes the narrative network model to enhance the associations among story fragments, and introduces dialogue game theory to guide the progressive refining. At the same time, the activity theory is adopted as the description framework to present the method and an application example is introduced. Finally, a pilot experiment is carried out to evaluate its perceived usefulness and perceived ease of use;and the actual quality of the requirements based on the degree of completeness and understandability in comparison with JAD. The results show that the requirements elicited by BPCRAR are more complete and understandable than JAD. In addition, the BPCRAR is perceived usefulness and ease of use in the experiment. © 2014 ACM.

关键词： Refining

来源：评论

学校读者我要写书评

暂无评论

Evaluating the BPCRAR Method: A Collab.rative Method for Business Process Oriented Requirements Acquisition and Refining

Evaluating the BPCRAR Method: A Collaborative Method for Bus...

引用

1st Asia Pacific Requirements Engineering Symposium, APRES 2014

ISBN: (纸本)9783662436097

The goal of requirements elicitation is to understand the stakeholders' needs and constraints, and form the system requirements. But gathering requirements correctly, completely and understandably in a natural way is a great challenge to traditional methods, for requirements analysts always play key roles in the elicitation process dominantly while stakeholders participate in passively. Therefore, strategies that help the identification of requirements based on reducing the requirements analysts' dominance and promoting stake-holders' self-expression and self-improvement are welcomed. This paper reports a controlled experiment to evaluate the Business Process oriented Collab.rative Requirements Acquisition and Refining (BPCRAR) method. Compared to JAD, the statistical results show that the requirements elicited by BPCRAR are more complete and understandable. Besides that, the perceived usefulness, ease to learn, and ease of use of BPCRAR are all confirmed by the statistical data got from the questionnaire to the participants. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Refining

来源：评论

学校读者我要写书评

暂无评论

Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata 14

Quantified dynamic metric temporal logic for dynamic network...

引用

2014 14th International Conference on Application of Concurrency to system Design, ACSD 2014

作者： David, Alexandre Larsen, Kim G. Legay, Axel Li, Guangyuan Poulsen, Danny Bogsted Department of Computer Science Aalborg University Denmark INRIA Rennes France State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences China

ISBN: (纸本)9781479942817

Multiprocessing systems are capable of running multiple processes concurrently. By now such systems have established themselves as the defacto standard for operating systems. At the core of an operating system is the ability to execute programs and as such there must be a primitive for instantiating new processes - also programs are allowed to die/terminate. Operating systems may allow the executing programs to split (spawn) into more computational threads in order to let programs take advantage of concurrent execution as well. One of the most used modelling languages, Timed Automata, is based on multiple automata interacting thus they easily model the concurrent execution of programs. However, this language assumes a fixed size system in the sense that automata cannot be created at will but must be instantiated when the overall system is created. This is in contrast with the fact that developers are able to create threads when needed. In this paper we present our continued work to incorporate spawning of threads into U PPAAL SMC. Our modelling language, Dynamic Networks of Stochastic Hybrid Automata, is essentially Timed Automata extended with a spawning primitive and a tear-down primitive. The dynamic creation of threads has the side-effect that it is no longer possible to use ordinary logics to specify behaviours of individual threads - because the threads no longer have unique names. In this paper we propose an extension of Metric Temporal Logic with means for quantifying over the dynamically created threads. This makes it possible to zoom in on individual threads and specify requirements to their future behaviour. Furthermore, we present a monitoring procedure for the logic based on rewriting formulas. The presented modelling language and the specification language have been implemented in U PPAAL SMC version 4.1.18. © 2014 IEEE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Modeling the behavior of Ada tasks and verifying its safety

Modeling the behavior of Ada tasks and verifying its safety

引用

Proceedings - The Fourth International Conference on computer and Information Technology (CIT 2004)

作者： Fu, Jianming Yi, Xian Zhang, Huanguo State Key Lab. of Software Eng. 430072 Wuhan China School of Computer Science Wuhan University 430072 Wuhan China

ISBN: (纸本)0769522165

This paper models the behavior of Ada tasks with Petri nets according to the semantics and the syntax of them, and this net is called an Ada net. Moreover our Ada net can improve the rendezvous model proposed by the *** as well as describing the task type. At the same time, we present the semantics and the syntax of computation tree logic with the transition relations of the Ada net's transition system, and provide an approach to model check the safety not upon the transition system, but rather directly upon the Ada net. At the end of this paper, a prototype system under this approach is implemented, and our experimental results demonstrate that the complexity of model checking with computation tree logic is polynomial.

关键词： computer science

来源：评论

学校读者我要写书评

暂无评论

Optimizing SpMV for diagonal sparse matrices on GPU

Optimizing SpMV for diagonal sparse matrices on GPU

引用

40th International Conference on Parallel Processing, ICPP 2011

作者： Sun, Xiangzheng Zhang, Yunquan Wang, Ting Zhang, Xianyi Yuan, Liang Rao, Li Lab. of Parallel Software and Computational Science Institute of Software Chinese Academy of Sciences Beijing China State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Graduate University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9780769545103

Sparse Matrix-Vector multiplication (SpMV) is an important computational kernel in scientific applications. Its performance highly depends on the nonzero distribution of sparse matrices. In this paper, we propose a new storage format for diagonal sparse matrices, defined as Compressed Row Segment with Diagonal-pattern (CRSD). In CRSD, we design diagonal patterns to represent the diagonal distribution. As the Graphics Processing Units (GPUs) have tremendous computation power and OpenCL makes them more suitable for the scientific computing, we implement the SpMV for CRSD format on the GPUs using OpenCL. Since the OpenCL kernels are complied at runtime, we design the code generator to produce the codelets for all diagonal patterns after storing matrices into CRSD format. Specifically, the generated codelets already contain the index information of nonzeros, which reduces the memory pressure during the SpMV operation. Furthermore, the code generator also utilizes property of memory architecture and thread schedule on the GPUs to improve the performance. In the evaluation, we select four storage formats from prior state-of-the-art implementations (Bell and Garland, 2009) on GPU. Experimental results demonstrate that the speedups reach up to 1.52 and 1.94 in comparison with the optimal implementation of the four formats for the double and single precision respectively. We also evaluate on a two-socket quad-core Intel Xeon system. The speedups reach up to 11.93 and 12.79 in comparison with CSR format under 8 threads for the double and single precision respectively. © 2011 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Improved layed architecture for developing semantic web application

Improved layed architecture for developing semantic web appl...

引用

2010 2nd International Conference on Future computer and Communication, ICFCC 2010

作者： Liu, Kun Tang, Shengqun Wan, Jia Ding, Song Qin, Xue State Key Lab. of Software Engineering Wuhan University Wuhan China Department of Computer Science Hubei University of Economics Wuhan China

ISBN: (纸本)9781424458226

Although there exists many Semantic Web tools and APIs to help building semantic web applications, Java EE 3-tier architecture has been largely used in developing large enterprise applications. It is proved to be competent. Based on this architecture, we propose a layered architecture which is fit for developing semantic web applications. We discuss what this architecture is and what responsibilities each layer should take in charge of. At the same time, we show how to use it through an example. Due to principles of layers, our proposed architecture can be the basis of semantic web applications. ©2010 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

From natural language requirements to requirement ontologies

From natural language requirements to requirement ontologies

引用

2010 2nd International Conference on Future computer and Communication, ICFCC 2010

作者： Li, Rong He, Keqing Chen, Huafeng State Key Lab. of Software Engineering Wuhan University Wuhan China Computer Science Department Huazhong Normal University Wuhan China

ISBN: (纸本)9781424458226

This paper presents a requirement ontology which can represent both sentence level semantics which means semantics in the structure of a sentence, and word level semantics which means the meaning of a word. In this way, complete semantics of a sentence can be described. The Generalized Upper Model (GUM) is a widely used linguistically motivated ontology which supplies a hierarchy of general concepts for defining objects, actions and properties. WordNet is a worldwide used lexical database for English language. In the requirement ontology, structures of a sentence are described as relations between sentence components which are derived from GUM. And meanings of key words are explained by WordNet. Thus, semantics of natural language requirements (NLRs) are captured for further processing. ©2010 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Requirements Maturity Measurement Approach based on SKLSEWiki

A Requirements Maturity Measurement Approach based on SKLSEW...

引用

IEEE International Workshop on Requirements Engineering for Services

作者： Peng, Rong Ye, Qiang Ye, Mao State Key Lab. of Software Engineering Wuhan University Wuhan China Mathematics and Computer Science College Hubei University Wuhan China

ISBN: (纸本)9780769541051

With the development of IT, the scale and complexity of information system has been dramatically increased. Followed is that the related stakeholders' size increases sharply. How to promote the requirements negotiation of large scale stakeholders becomes a focus of attention. Wiki, as a lightweight documentation and distributed collab.ration platform, has demonstrated its capability in distributed requirements elicitation and documentation. Most efforts are paid to construct friendly user interface and collab.rative editing capabilities. In this paper, a new concept, requirement maturity, is proposed to represent the stable degree of requirement reached through the negotiation process. A Requirement Maturity Measurement Approach based on Wiki uses the requirement maturity as a threshold to select requirements. Thus, the requirements, which reach a stable status through full negotiation, can be found out. A platform SKLSEWiki is developed to validate the approach. © 2010 IEEE.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Search web images using objects, backgrounds and conditions

Search web images using objects, backgrounds and conditions

引用

20th ACM International Conference on Multimedia, MM 2012

作者： Zhang, Jiemi Wu, Chenxia Cai, Deng State Key Lab. of CAD and CG College of Computer Science Zhejiang University Hangzhou China

ISBN: (纸本)9781450310895

As the volumes of web images have grown rapidly in the last decade, Content-Based Image Retrieval (CBIR) has attracted substantial interests as an effective tool to manage the images. Most existing CBIR systems focus on the object in the image, while ignoring the conditions (day/night, sunny/rain, etc) and the backgrounds, both of which are very helpful to meet the user's information need. To overcome this shortcoming, in this paper, we present a novel CBIR system depending on a novel query formulation considering three aspects: Object, Background and Condition. Specifically, we design a user-friendly interface to help the user formulate a query. The interface can allow the user to give the percentage, relative position and size of each object in the background. Moreover, a corresponding effective ranking method is proposed to return the desirable search results. Experimental results demonstrate that our proposed system improves the searching performance and the user experience compared with the existing searching systems. © 2012 ACM.

关键词： Content based retrieval

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共84页 << < 3 4 5 6 7 8 9 10 11 12 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：