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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

284 篇 会议
114 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

300 篇 工学
- 260 篇 计算机科学与技术...
- 223 篇 软件工程
- 53 篇 信息与通信工程
- 49 篇 控制科学与工程
- 20 篇 电子科学与技术（可...
- 16 篇 机械工程
- 14 篇 生物工程
- 13 篇 材料科学与工程（可...
- 12 篇 电气工程
- 10 篇 仪器科学与技术
- 9 篇 安全科学与工程
- 8 篇 动力工程及工程热...
- 8 篇 化学工程与技术
- 8 篇 生物医学工程（可授...
- 7 篇 光学工程
- 7 篇 建筑学
- 5 篇 交通运输工程
- 5 篇 农业工程
177 篇 理学
- 145 篇 数学
- 36 篇 统计学（可授理学、...
- 26 篇 系统科学
- 21 篇 物理学
- 14 篇 生物学
- 7 篇 化学
86 篇 管理学
- 48 篇 管理科学与工程(可...
- 42 篇 图书情报与档案管...
- 24 篇 工商管理
13 篇 法学
- 11 篇 社会学
12 篇 经济学
- 12 篇 应用经济学
6 篇 医学
- 6 篇 临床医学
5 篇 艺术学
4 篇 农学
2 篇 教育学

主题

15 篇 semantics
8 篇 computer science
7 篇 conferences
7 篇 ordinary differe...
7 篇 computational mo...
7 篇 software quality
6 篇 forecasting
5 篇 image classifica...
5 篇 cloud computing
5 篇 random processes
5 篇 web services
4 篇 collaborative fi...
4 篇 hybrid systems
4 篇 programming
4 篇 ant colony optim...
4 篇 image segmentati...
4 篇 graphics process...
4 篇 educational inst...
4 篇 optimization
4 篇 data mining

机构

69 篇 state key lab. f...
39 篇 state key lab. o...
28 篇 state key lab. o...
24 篇 state key lab. o...
24 篇 university of ch...
22 篇 state key lab. o...
14 篇 graduate univers...
13 篇 department of co...
12 篇 state key lab. f...
9 篇 nanjing universi...
8 篇 state key lab of...
8 篇 state key labora...
8 篇 school of comput...
8 篇 school of comput...
7 篇 state key lab. o...
7 篇 graduate univers...
6 篇 international sc...
5 篇 department of co...
5 篇 key lab. of inte...
5 篇 intelligence eng...

作者

21 篇 zhan naijun
18 篇 xue bai
13 篇 huang qingming
12 篇 liu jin
11 篇 zhan bohua
10 篇 jiang shuqiang
10 篇 wang hongan
8 篇 tian qi
8 篇 bai xue
8 篇 liu wei
8 篇 dai guozhong
8 篇 barmpalias georg...
7 篇 ye mao
7 篇 wang shuling
7 篇 zhang tian
7 篇 tian feng
7 篇 yu xiao
7 篇 mingjun xiao
7 篇 sheng zhang
6 篇 zhuzhong qian

语言

385 篇 英文
9 篇 其他
7 篇 中文

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

共 401 条记录，以下是191-200 订阅

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

详细简洁

排序：

XSpecifying and Detecting Behavioral Changes in Source Code Using Abstract Syntax Tree Differencing

XSpecifying and Detecting Behavioral Changes in Source Code ...

引用

作者： Li, Yuankui Wang, Linzhang State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

During the development of a software, its source code is continuously being modified. Even after the deployment, the maintenance work still involves changing the source code. Some of the modification performed on the source code is rather meaningless, while others might cause some critical behavioral changes. To help understand the modification, we can distinguish the behavioral changes and ease the tedious work. Our approach focuses on eliminating two kinds of changes: the unessential changes and the behavioral-unrelated changes, to achieve a better change detection result. © Springer-Verlag Berlin Heidelberg 2013.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

XMDE-Based Verification of SysML state Machine Diagram by UPPAAL

XMDE-Based Verification of SysML State Machine Diagram by UP...

引用

作者： Huang, Xiaopu Sun, Qingqing Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

state Machine Diagram (SMD) is one of the SysML behavior diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an inst.nce to illustrate the validity of our approach. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Online web-video topic detection and tracking with semi-supervised learning

Online web-video topic detection and tracking with semi-supe...

引用

14th Pacific-Rim Conference on Multimedia, PCM 2013

作者： Li, Guorong Zhang, Weigang Pang, Junbiao Huang, Qingming Jiang, Shuqiang Graduate University Beijing China Key Lab of Intell. Info. Process. CAS Inst. of Comput. Tech. Beijing China School of Computer Science and Technology Harbin Inst. of Tech. China Beijing Municipal Key Lab. of Multimedia and Intelligent Software Tec. Beijing Univ. of Tech China

ISBN: (纸本)9783319037301

With the rapid growth of web data, a large amount of web videos are availab.e online. However, how to organize them for facilitating users' experience and government supervision remains a problem yet to be seriously investigated. Topic detection and tracking, which has been a hot research topic for decades, could cluster web videos into different topics according to their semantic content. However, how to online discover topic and track them from web videos and images has not been fully discussed. In this paper, we formulate topic detection and tracking as an online tracking, detection and learning problem. First, by learning from historical data including lab.led data and plenty of unlab.led data using semi-supervised multi-class multi-feature method, we obtain a topic tracker which could also discover novel topics from the new stream data. Second, when new data arrives, an online updating method is developed to make topic tracker adapt to the evolution of the stream data. We conduct experiments on public dataset to evaluate the performance of the proposed method and the results demonstrate its effectiveness for topic detection and tracking. © Springer International Publishing Switzerland 2013.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Interest-driven web service recommendation based on MFI-7

Interest-driven web service recommendation based on MFI-7

引用

2013 IEEE 10th International Conference on Services Computing, SCC 2013

作者： Zhang, Xiuwei He, Keqing Wang, Chong Li, Zhao Liu, Jianxiao State Key Lab. of Software Engineering School of Computer Wuhan University Wuhan China No.94005 Troops of PLA Jiuquan China College of Science Huazhong Agricultural University Wuhan China

ISBN: (纸本)9780768550268

Composing and reusing services is the main advantage of Service Oriented software Engineering (SOSE). Faced with the large amount of Web services which are availab.e on World Wide Web, how to select and recommend suitable Web services becomes a key issue in service computing. The most popular service recommendation technique is QoS-based Collab.rate Filtering (CF) with user-service QoS matrix. However, it cannot well capture the new interests of users and handle the cold start problem. In this paper we propose an interest-driven recommendation approach which leverage User Interest Profile (UIP) to represent users' interests. UIP is generated in accordance with an ISO standard named as MFI-7. The similarity between UIPs is used to produce users' nearest neighbors. The Top-K recommendations will be generated from these neighbors' mostly-used services. To show the effectiveness of our approach, a developed Web service registry and repository platform is used as a testbed to produce preliminary evaluation results. © 2013 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Tumor gene expressive data classification based on locally linear representation Fisher criterion

引用

9th International Conference on Intelligent Computing, ICIC 2013

作者： Li, Bo Tian, Bei-Bei Liu, Jin School of Computer Science and Technology Wuhan University of Science and Technology 430081 Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China State Key Lab. of Software Engineering Wuhan China

ISBN: (纸本)9783642394812

In this paper, a discriminant manifold learning method based on Locally Linear Embedding (LLE), which is named Locally Linear Representation Fisher Criterion (LLRFC), is proposed for the classification of tumor gene expressive data. In the proposed LLRFC, an inter-class graph and intra-class graph is constructed based on the class information of tumor gene expressive data, where the weights between nodes in both graph are optimized using locally linear representation trick. Moreover, a Fisher criterion is modeled to maximize the inter-class scatter and minimize the intra-class scatter simultaneously. Experiments on some benchmark tumor gene expressive data validate its efficiency. © 2013 Springer-Verlag.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

Efficient latent structural perceptron with hybrid trees for semantic parsing

Efficient latent structural perceptron with hybrid trees for...

引用

23rd International Joint Conference on Artificial Intelligence, IJCAI 2013

作者： Zhou, Junsheng Xu, Juhong Qu, Weiguang School of Computer Science and Technology Nanjing Normal University China Jiangsu Research Center of Information Security and Privacy Technology China State Key Lab. for Novel Software Technology Nanjing University China

ISBN: (纸本)9781577356332

Discriminative structured prediction models have been widely used in many natural language processing tasks, but it is challenging to apply the method to semantic parsing. In this paper, by introducing hybrid tree as a latent structure variable to close the gap between the input sentences and output representations, we formulate semantic parsing as a structured prediction problem, based on the latent variable perceptron model incorporated with a tree edit-distance loss as optimization criterion. The proposed approach maintains the advantage of a discriminative model in accommodating flexible combination of features and naturally incorporates an efficient decoding algorithm in learning and inference. Furthermore, in order to enhance the efficiency and accuracy of inference, we design an effective approach based on vector space model to extract a smaller subset of relevant MR productions for test examples. Experimental results on publicly availab.e corpus show that our approach significantly outperforms previous systems.

关键词： Inference engines

来源：评论

学校读者我要写书评

暂无评论

Depth-of-Field Rendering with Saliency-Based Bilateral Filtering

Depth-of-Field Rendering with Saliency-Based Bilateral Filte...

引用

IEEE International Conference on computer-Aided Design and computer Graphics

作者： Weichen Xue Dong Xing Ming Lin Jing Wang Bin Sheng Lizhuang Ma Department of Computer Science & Engineering Shanghai Jiao Tong University Shanghai China State Key Lab. of Computer Science Inst. of Software Chinese Academy of Sciences Beijing China

Depth of Field (DoF) is an indispensable feature of photo realistic rendering and photography retouching. In this paper, we propose an image-based rendering technique which can simulate the depth-of-field effect. The proposed technique can render the depth-of-field effect automatically without any interactions. Compared to the ordinary depth-of-field rendering technique, our algorithm is less time-consuming and needs no additional depth maps to assist the depth-of-field rendering. In our proposed algorithm, the saliency detection technique is employed to simulate the depth information. The flash-based technique is also introduced to promote the final depth-of-field rendering visual effect.

关键词： Rendering (computer graphics) Ash computer vision Image color analysis Data mining Image edge detection

来源：评论

学校读者我要写书评

暂无评论

CCMC: A conditional CSL model checker for continuous-time Markov chains

CCMC: A conditional CSL model checker for continuous-time Ma...

引用

11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013

作者： Gao, Yang Hahn, Ernst Moritz Zhan, Naijun Zhang, Lijun State Key Lab. of Comp. Sci. Institute of Software Chinese Academy of Sciences China University of Oxford United Kingdom Technical University of Denmark DTU Compute Denmark Saarland University - Computer Science Germany

ISBN: (纸本)9783319024431

We present CCMC (Conditional CSL Model Checker), a model checker for continuous-time Markov chains (CTMCs) with respect to properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM or MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports algorithms for analyzing multiple until path formulas. Moreover, CCMC supports a recent extension of CSL - conditional CSL - which makes it possible to verify a larger class of properties on CTMC models. Our tool is based on our recent algorithmic advances for CSL, that construct a stratified CTMC before performing transient probability analyses. The stratified CTMC is a product obtained from the original CTMC and an automaton extracted from a given formula, aiming to filter out the irrelevant paths and make the computation more efficient. © 2013 Springer International Publishing.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

An interface model of software components

引用

10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013

作者： Dong, Ruzhen Zhan, Naijun Zhao, Liang Dipartmento di Informatica Università di Pisa Italy UNU-IIST China State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences China Institute of Computing Theory and Technology Xidian University China

ISBN: (纸本)9783642397172

We present an automata-based model for describing the behaviors of software components. This extends our previous work by allowing internal behaviors. In order to improve the techniques for checking if two component can be composed without causing deadlocks, we develop an interface model, called input deterministic automata, that define all the non-blockable traces of invocation to services provided by a component. We also present an algorithm that, for any given component automaton, generates the interface model that has the same input deterministic behaviors as the original automaton. Properties of the algorithm with respect to component refinement and composition are studied as preliminary results towards a theory of software component interfaces. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Towards a taxonomy framework of evolution for SOA solution: From a practical point of view

引用

Combined Workshops on Web Information Systems Engineering, WISE 2011 and WISE 2012

作者： Feng, Zaiwen Hung, Patrick C. K. He, Keqing Ma, Yutao Farwick, Matthias Li, Bing Peng, Rong State Key Lab. of Software Engineering Wuhan University China School of Computer Wuhan University China Hubei Provincial Key Laboratory of Intelligent Robot Wuhan Institute of Techonology China Faculty of Business and IT University of Ontario Institute of Technology Canada Institute of Computer Science University of Innsbruck Austria

ISBN: (纸本)9783642383328

Presently, the research on evolution of SOA solution is becoming more and more important in industry. It is necessary to extract a taxonomy framework for evolution of SOA solution because by using it, evolution of SOA-based systems can be analyzed and compared comprehensively and objectively. In this paper, a taxonomy framework for evolution of SOA solution is proposed that is illustrated from four perspectives: (a) motivations for evolutionary changes (why), (b) locations where evolutionary changes happen (where), (c) times when evolutionary changes happen (when), and (d) support mechanisms in the process of evolutionary changes (how). Furthermore, the taxonomy framework is applied on analyzing a SOA-based configurable system for urban logistics delivery management, as an application of taxonomy framework. © 2013 Springer-Verlag.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共41页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：