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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

297 篇 会议
204 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

367 篇 工学
- 226 篇 计算机科学与技术...
- 173 篇 软件工程
- 75 篇 信息与通信工程
- 70 篇 控制科学与工程
- 38 篇 电气工程
- 36 篇 机械工程
- 36 篇 电子科学与技术（可...
- 32 篇 交通运输工程
- 28 篇 生物工程
- 15 篇 仪器科学与技术
- 14 篇 安全科学与工程
- 11 篇 光学工程
- 11 篇 动力工程及工程热...
- 11 篇 化学工程与技术
- 11 篇 生物医学工程（可授...
- 11 篇 网络空间安全
- 7 篇 材料科学与工程（可...
175 篇 理学
- 126 篇 数学
- 34 篇 系统科学
- 31 篇 生物学
- 28 篇 统计学（可授理学、...
- 21 篇 物理学
- 9 篇 化学
110 篇 管理学
- 75 篇 管理科学与工程(可...
- 48 篇 图书情报与档案管...
- 29 篇 工商管理
22 篇 法学
- 20 篇 社会学
12 篇 医学
- 9 篇 基础医学(可授医学...
- 8 篇 临床医学
7 篇 经济学
- 7 篇 应用经济学
3 篇 农学
2 篇 文学

主题

21 篇 petri nets
14 篇 web services
12 篇 feature extracti...
11 篇 training
10 篇 data mining
10 篇 graph neural net...
8 篇 conferences
8 篇 throughput
8 篇 rough set theory
7 篇 information syst...
7 篇 support vector m...
7 篇 lattices
7 篇 laboratories
7 篇 mapreduce
7 篇 computational mo...
7 篇 semantics
7 篇 genetic algorith...
6 篇 roads
6 篇 vectors
6 篇 schedules

机构

120 篇 key laboratory o...
78 篇 department of co...
71 篇 the key laborato...
54 篇 key laboratory o...
14 篇 shanghai artific...
13 篇 the key laborato...
13 篇 key laboratory o...
13 篇 department of el...
12 篇 department of el...
11 篇 department of co...
11 篇 key laboratory o...
10 篇 school of engine...
10 篇 school of softwa...
9 篇 department of co...
9 篇 ieee
9 篇 key laboratory o...
8 篇 school of electr...
8 篇 college of compu...
7 篇 college of infor...
7 篇 department of co...

作者

31 篇 changjun jiang
31 篇 jiang changjun
30 篇 zhou mengchu
20 篇 cheng wang
19 篇 yan chungang
18 篇 ding zhijun
17 篇 wang hanli
16 篇 wang cheng
13 篇 li maozhen
13 篇 mengchu zhou
13 篇 miao duoqian
13 篇 chungang yan
12 篇 liu xiwei
11 篇 xiang-yang li
11 篇 zhijun ding
10 篇 liu guanjun
10 篇 shengjie zhao
10 篇 zhao junqiao
9 篇 liu yang
9 篇 wang junli

语言

474 篇 英文
21 篇 中文
10 篇 其他

检索条件"机构=Key Laboratory of Embedded System and Service Computing Ministry of Education"

共 502 条记录，以下是221-230 订阅

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

详细简洁

排序：

A New Modified Reachability Graph of ω-independent Petri Nets and its Application

A New Modified Reachability Graph of ω-independent Petri Ne...

引用

2nd International Conference on Communication Technology(ICCT 2015)

作者： Ru Yang Zhijun Ding Meiqin Pan The Key Laboratory of Embedded System and Service Computing Ministry of Education College of international business Shanghai International Studies University

Analysis approaches of liveness are important to Petri nets theory,but the relevant research work in the past is still *** paper proposed a new modified reachability graph(NMRG) approach for liveness analysis of ω-independent Petri *** NMRG of a Petri net is transformed from its NMRT and can be used to analyze liveness and deadlock of ω-independent unbound Petri nets.A sufficient condition of liveness and a sufficient and necessary condition of deadlock of ω-independent Petri nets are proposed on the basis of *** are given to illustrate the method.

关键词： ω-Independent Petri net Liveness Deadlock NMRG

来源：评论

学校读者我要写书评

暂无评论

Feature selection on chinese text classification using character N-grams

引用

3rd International Conference on Rough Sets and Knowledge Technology, RSKT 2008

作者： Wei, Zhihua Miao, Duoqian Chauchat, Jean-Hugues Zhong, Caiming Tongji University Key Laboratory Embedded System and Service Computing Ministry of Education Cao'an Road Shanghai 201804 China Laboratoire ERIC Université Lumière Lyon 2 5 avenue Pierre Mendès-France Bron Cedex 69676 France

ISBN: (纸本)3540797203

In this paper, we perform Chinese text classification using n-gram text representation on TanCorp which is a new large corpus special for Chinese text classification more than 14,000 texts divided into 12 classes. We use different n-gram feature (1-, 2-grams or 1-, 2-, 3-grams) to represent documents. Different feature weights (absolute text frequency, relative text frequency, absolute n-gram frequency and relative n-gram frequency) are compared. The sparseness of "document by feature" matrices is analyzed in various cases. We use the C-SVC classifier which is the SVM algorithm designed for the multi-classification task. We perform our experiments in the TANAGRA platform. We found out that the feature selection methods based on n-gram frequency (absolute or relative) always give better results and produce denser matrices. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking

Vision-based Semantic Mapping and Localization for Autonomou...

引用

2018 IEEE Intelligent Vehicles Symposium, IV 2018

作者： Huang, Yewei Zhao, Junqiao He, Xudong Zhang, Shaoming Feng, Tiantian Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Department of Computer Science and Technology School of Electronics and Information Engineering Tongji University Shanghai China School of Surveying and Geo-Informatics Tongji University Shanghai China

ISBN: (纸本)9781538644522

In this paper, we proposed a novel and practical solution for the real-time indoor localization of autonomous driving in parking lots. High-level landmarks, the parking slots, are extracted and enriched with labels to avoid the aliasing of low-level visual features. We then proposed a robust method for detecting incorrect data associations between parking slots and further extended the optimization framework by dynamically eliminating suboptimal data associations. Visual fiducial markers are introduced to improve the overall precision. As a result, a semantic map of the parking lot can be established fully automatically and robustly. We experimented the performance of real-time localization based on the map using our autonomous driving platform TiEV, and the average accuracy of 0.3m track tracing can be achieved at a speed of 10kph. © 2018 IEEE.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

A polynomial algorithm to performance analysis of concurrent...

引用

作者： Ding, Zuohua Zhou, Yuan Zhou, Meng Chu Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs) of a restricted type. The equations describe the system state changes, and the solutions, also called state measures, can be used for the performance analysis such as estimating response time, throughput and efficiency. This method can avoid a state explosion problem encountered by the conventional methods based on Continuous-Time Markov Chains. Its application to an IBM business system is given as an example. © 2004-2012 IEEE.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

A generalized model with spatial resources labels

A generalized model with spatial resources labels

引用

2010 International Conference on Biomedical Engineering and Computer Science, ICBECS 2010

作者： Jun, Niu Zeng, Guosun Department of Computer Science and Technology Tongji University Shanghai China College of Information Engineering Zhejiang Business Technology Institute Ningbo China Embedded System and Service Computing Key Lab. Ministry of Education Shanghai China

ISBN: (纸本)9781424453153

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models. ©2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An improved test case generation method of pair-wise testing

An improved test case generation method of pair-wise testing

引用

16th Asian Test Symposium, ATS 2007

作者： Qian, Feng-An Jiang, Jian-Hui Key Laboratory of Embedded Systems and Service Computing Ministry of Education of the People's Republic of China Tongji University Shanghai 201804 China Department of Computer Science and Technology Tongji University Shanghai 201804 China

ISBN: (纸本)0769528902

Pair-wise testing is a testing criterion based on specification, which requires that for each pair of parameters, every combination of their valid value should be covered by at least one test case in the test set. This paper presents an improved method based on AETG. Experimental results show that the size of test set produced by our method is relatively small. In addition, the method can be easily implemented. © 2007 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Reduction criteria for probabilistic models with spatial restrictions on states

Reduction criteria for probabilistic models with spatial res...

引用

2nd International Conference on Networks Security, Wireless Communications and Trusted computing, NSWCTC 2010

ISBN: (纸本)9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness. © 2010 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Semantic based file retrieval on resource limited devices with ontology alignment support

Semantic based file retrieval on resource limited devices wi...

引用

2011 8th International Conference on Fuzzy systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11

作者： Jan, Sadaqat Li, Maozhen Al-Sultany, Ghaidaa Al-Raweshidy, Hamed School of Engineering and Design Brunel University Uxbridge Middlesex UB8 3PH United Kingdom Key Laboratory of Embedded Systems and Service Computing Ministry of Education Tongji University China

ISBN: (纸本)9781612841816

In this paper, we present a file search mechanism that can utilize the ontology alignments to facilitate file retrieval on resource-limited devices by exploiting the knowledge of more than one ontologies. This enables the device users to take advantage of all ontologies, which might have been developed in the same domain. A semantic-based file retrieval framework was previously presented for resource-limited devices, which annotates files with its basic attributes and provides file retrieval capabilities. A generic ontology was developed to define the most commonly used keywords which can be used as metadata of the stored files. The ontology was employed to exploit the semantic based file retrieval capability. The search mechanism was evaluated by formulating two test cases. In first test case the framework make use of single ontology while in the second test case, the ontology alignments were utilized by aligning two ontologies. The implications of ontology alignment support were analyzed through probabilistic evaluation, which shows the progress in file retrieval efficiency. © 2011 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Ontology alignment using Rough Sets

Ontology alignment using Rough Sets

引用

2011 8th International Conference on Fuzzy systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11

ISBN: (纸本)9781612841816

Ontology alignment has been one of the most significant research issues to bridge the semantic gap between heterogeneous systems toward Semantic Web. Many proposed systems in recent years, use multiple similarity measures and variety of aggregating algorithms to map entities from two different ontologies. However, the real issue arises when alignment systems turn out to be uncertain about entities which are neither completely similar nor dissimilar. This paper presents an ontology alignment system which uses a combination of various similarity measures in order to map entities from two different ontologies. Rough Sets have been used to deal with uncertainties during the mapping process by defining the similarity measures as the attributes of entities. The proposed alignment system employs the combination of string based, linguistic based and structural matchers. The structural matcher compares the super-classes, sub-classes and properties of two class entities. We use WordNet to compare the linguistic similarity between entities in the mapping process. The performance of proposed system is evaluated in terms of precision and recall and compared with existing state of the art alignment systems. For this purpose, the Ontology Alignment Evaluation Initiative (OAEI) benchmark group-3 test ontologies have been used. Experimental tests show that the performance our proposed alignment system is comparable with existing alignment systems. © 2011 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Parallelizing multiclass Support Vector Machines for scalable image annotation

Parallelizing multiclass Support Vector Machines for scalabl...

引用

2011 8th International Conference on Fuzzy systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th International Conference on Natural Computation, ICNC'11

作者： Alham, Nasullah Khalid Li, Maozhen Liu, Yang Hammoud, Suhel School of Engineering and Design Brunel University Uxbridge Middlesex UB8 3PH United Kingdom Key Laboratory of Embedded Systems and Service Computing Ministry of Education Tongji University China

ISBN: (纸本)9781612841816

Machine learning techniques have facilitated image retrieval by automatically classifying and annotating images with keywords. Among them Support Vector Machines (SVMs) are used extensively due to their generalization properties. SVM was initially designed for binary classifications. However, most classification problems arising in domains such as image annotation usually involve more than two classes. Notably SVM training is a computationally intensive process especially when the training dataset is large. This paper presents MRMSVM, a distributed multiclass SVM algorithm for large scale image annotation which partitions the training dataset into smaller binary chunks and train SVM in parallel using a cluster of computers. MRMSVM is evaluated in an experimental environment showing that the distributed Multiclass SVM algorithm reduces the training time significantly while maintaining a high level of accuracy in classifications. © 2011 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共51页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：