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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,891 篇 会议
2,050 篇 期刊文献
78 册 图书

馆藏范围

6,019 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3,709 篇 工学
- 2,973 篇 计算机科学与技术...
- 2,451 篇 软件工程
- 741 篇 信息与通信工程
- 489 篇 控制科学与工程
- 414 篇 生物工程
- 333 篇 电气工程
- 261 篇 生物医学工程（可授...
- 224 篇 机械工程
- 219 篇 电子科学与技术（可...
- 186 篇 光学工程
- 138 篇 网络空间安全
- 134 篇 安全科学与工程
- 128 篇 化学工程与技术
- 124 篇 仪器科学与技术
- 124 篇 动力工程及工程热...
- 117 篇 交通运输工程
1,677 篇 理学
- 955 篇 数学
- 449 篇 生物学
- 362 篇 物理学
- 300 篇 统计学（可授理学、...
- 193 篇 系统科学
- 147 篇 化学
1,129 篇 管理学
- 701 篇 管理科学与工程(可...
- 491 篇 图书情报与档案管...
- 322 篇 工商管理
228 篇 医学
- 202 篇 临床医学
- 186 篇 基础医学(可授医学...
156 篇 法学
- 117 篇 社会学
135 篇 教育学
- 129 篇 教育学
125 篇 经济学
- 123 篇 应用经济学
44 篇 农学
18 篇 军事学
15 篇 文学
15 篇 艺术学
1 篇 哲学

主题

229 篇 software enginee...
167 篇 computational mo...
139 篇 training
138 篇 feature extracti...
133 篇 semantics
120 篇 deep learning
113 篇 machine learning
110 篇 computer science
109 篇 software
102 篇 accuracy
98 篇 data models
95 篇 cloud computing
87 篇 computer archite...
81 篇 predictive model...
80 篇 quality of servi...
79 篇 data mining
79 篇 security
72 篇 optimization
71 篇 internet of thin...
71 篇 visualization

机构

224 篇 college of compu...
94 篇 national enginee...
70 篇 department of co...
68 篇 state key labora...
66 篇 shanghai key lab...
57 篇 institute of com...
54 篇 college of intel...
53 篇 school of inform...
52 篇 department of co...
51 篇 software enginee...
50 篇 school of softwa...
48 篇 shanghai key lab...
47 篇 school of big da...
46 篇 school of comput...
40 篇 tianjin key labo...
37 篇 school of comput...
36 篇 school of softwa...
35 篇 university of ch...
34 篇 state key labora...
33 篇 school of comput...

作者

54 篇 rajkumar buyya
43 篇 shen linlin
33 篇 hung chih-cheng
27 篇 buyya rajkumar
26 篇 ismail leila
24 篇 yuanping xu
24 篇 zuohua ding
24 篇 xu yuanping
23 篇 zhang lei
23 篇 jin jin
23 篇 xu zhijie
22 篇 huibiao zhu
21 篇 chaolong zhang
21 篇 wang xiaofei
21 篇 leung victor c.m...
20 篇 zhu huibiao
20 篇 xiaofei wang
20 篇 ding zuohua
19 篇 qi liu
19 篇 victor c. m. leu...

语言

5,773 篇 英文
202 篇 其他
49 篇 中文
3 篇 德文
1 篇 西班牙文
1 篇 朝鲜文
1 篇 葡萄牙文

检索条件"机构=Computing and Software Engineering"

共 6019 条记录，以下是4881-4890 订阅

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

详细简洁

排序：

An efficient hardware-based XML message processing architecture

An efficient hardware-based XML message processing architect...

引用

International Conference on Electrical and Control engineering (ICECE)

作者： Hongwei Yang Dianfu Ma Yongwang Zhao Institute of Advanced Computing Technology National Laboratory of Software Development Environment School of computer Science and Engineering Beihang University Beijing China

In the distributed computing environment, XML becomes the main choice as the way to transfer and store data in Web Services and distributed systems. With the development of the Web Services technique, there is a higher demand for an efficient XML message processing in some real-time systems. The XML messages are always parsed by software. Although many software-based XML processing techniques have been studied to improve the processing efficiency, this cannot help much. Hardware-based methods can be another efficient choice of boosting XML message processing. In this paper, we present a novel hardware-based XML message processing technique and design a binary token descriptor data structure to describe the document's structure and information. By utilizing the processing technique we are able to parse the XML into a set of binary token descriptor. The architecture is designed and implemented on a FPGA. Our experimental results show that the processing rate is more efficient than the traditional software processing.

关键词： XML Field programmable gate arrays Simple object access protocol Engines Hardware Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Towards practical ABox abduction in large OWL DL ontologies 25

Towards practical ABox abduction in large OWL DL ontologies

引用

25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11

作者： Du, Jianfeng Qi, Guilin Shen, Yi-Dong Pan, Jeff Z. Guangdong University of Foreign Studies Guangzhou 510006 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China School of Computer Science and Engineering Southeast University NanJing 211189 China State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Department of Computing Science University of Aberdeen Aberdeen AB243UE United Kingdom

ISBN: (纸本)9781577355090

ABox abduction is an important aspect for abductive reasoning in Description Logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with certain minimality. However, the method targets an ABox abduction problem that may have infinitely many abductive solutions and may not output an abductive solution in finite time. Hence, in this paper we propose a new ABox abduction problem which has only finitely many abductive solutions and also propose a novel method to solve it. The method reduces the original problem to an abduction problem in logic programming and solves it with Prolog engines. Experimental results show that the method is able to compute abductive solutions in benchmark OWL DL ontologies with large ABoxes. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Ready-set-transfer! Technology transfer in the requirements engineering domain

Ready-set-transfer! Technology transfer in the requirements ...

引用

IEEE International Conference on Requirements engineering

作者： Jane Cleland-Huang Daniela Damian Center of Excellence for Software Traceability (CoEST) School of Computing DePaul University Chicago IL USA Software Engineering Global interAction Laboratory (SEGAL) Department of Computer Science University of Victoria BC Canada

The primary goal of requirements engineering research is to propose, develop, and validate effective solutions for important practical problems. However practice has shown that successful projects often take from 20-25 years to reach the stage of full industry adoption, while many other projects fizzle out and never advance beyond the initial research phase. In this interactive panel, teams of researchers representing several different requirements engineering research areas, bring ideas for technology transfer to a panel of industrial and government practitioners. The teams proceed through a series of interactive presentations and receive feedback from panelists. Underlying the game-show genre of the panel is the more serious goal to foster conversation between practitioners and researchers in order to improve the effectiveness of technology transfer in the requirements engineering community.

关键词： Technology transfer Industries Communities software software engineering Educational institutions Conferences

来源：评论

学校读者我要写书评

暂无评论

JaMes: A Java-based system for navigational programming

JaMes: A Java-based system for navigational programming

引用

2011 International Conference on Computational Problem-Solving, ICCP 2011

作者： Shang, Qinghong Fukuda, Munehiro Zhang, Wendy Bic, Lubomir Dillencourt, Michael B. School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu Sichuan 610054 China Donald Bren School of Information and Computer Sciences University of California Irvine CA 92697 United States Computing and Software Systems University of Washington Bothell WA 98011 United States

ISBN: (纸本)9781457706035

Navigational Programming (NavP) is a new approach to distributed programming based on migrating threads. Under this model of computation, an application is structured as a collection of processes, which can migrate autonomously through an application-specific network of nodes. Navigational Programming has been demonstrated to have significant advantages over other programming paradigms including message passing (MP) and distributed shared memory (DSM), for general-purpose computing. JaMes is a superset of Java, in that it provides a collection of methods that implement the navigational programming model. In addition to the basic capabilities of migration and non-preemptive scheduling, JaMes extends the basic model by permitting processes to specify a priority during migration, and by allowing processes to collaborate both locally, through standard synchronization primitives, and remotely, by two different forms of send and receive operations. We illustrate the capabilities of JaMes using two representative programming examples, each chosen to illustrate a specific feature of JaMes. We also describe the performance of the chosen examples when executed under JaMes on a network of PCs. © 2011 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Modified particle swarm optimization and its application in multimodal function optimization

Modified particle swarm optimization and its application in ...

引用

International Conference on Transportation, Mechanical, and Electrical engineering (TMEE)

作者： Na Li Song Zhu State Key Lab of Software Engineering Wuhan University Wuhan China Center of Computing & Experimenting South-central University for Nationalities Wuhan China

In multimodal optimization, the basic particle swarm optimization is easy to duplicate and miss points of the optimal value. To solve this problem, a modified particle swarm optimization algorithm, called BNPSO, is proposed. This modified particle swarm optimization algorithm is based on the niche particle swarm optimization (NPSO) algorithm, and implemented a Bernoulli trial. It is proved theoretically that the algorithm BNPSO is much more effective than the algorithm NPSO for multimodal function optimization problems. However, the time complexity of the new scheme is increased. Testing of the algorithm indicate that the algorithm BNPSO has better perform in stability and convergence.

关键词： Particle swarm optimization Algorithm design and analysis Optimization Vectors Signal processing algorithms Mathematical model Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

SMICloud: A Framework for Comparing and Ranking Cloud Services

SMICloud: A Framework for Comparing and Ranking Cloud Servic...

引用

IEEE International Conference on Utility and Cloud computing (UCC)

作者： Saurabh Kumar Garg Steve Versteeg Rajkumar Buyya Cloud Computing and Distributed Systems (CLOUDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia CA Technologies Melbourne Australia

With the growth of Cloud computing, more and more companies are offering different cloud services. From the customer's point of view, it is always difficult to decide whose services they should use, based on users' requirements. Currently there is no software framework which can automatically index cloud providers based on their needs. In this work, we propose a framework and a mechanism, which measure the quality and prioritize Cloud services. Such framework can make significant impact and will create healthy competition among Cloud providers to satisfy their Service Level Agreement (SLA) and improve their Quality of Services (QoS).

关键词： Quality of service Time factors Cloud computing Organizations Measurement Security Indexes

来源：评论

学校读者我要写书评

暂无评论

Automatic diagram layout support for the Marama meta-toolset

Automatic diagram layout support for the Marama meta-toolset

引用

IEEE Symposium on Visual Languages and Human Centric computing (VL/HCC)

作者： Pei Shan Yap John Hosking John Grundy Department of Computer Science University of Auckland Auckland New Zealand Centre of Computing and Engineering Software Systems Swinburne University of Technology Melbourne Australia

Automatic layout can be a crucial support feature for complex diagramming tools. Adding suitable layout algorithms to diagramming tools is a complex task and meta-tools should incorporate these for reuse. We present MaramaALM, a generalised set of automatic layout mechanisms. This has been incorporated in the Eclipse-based Marama meta-toolset to support automatic layout in Marama diagrams. It provides an easy-to-use mechanism for tool developers to add such layouts to their generated tools. We describe our motivation for MaramaALM, our approach to its implementation and an example case study of using these tool extensions.

关键词： Layout Visualization Shape Generators Measurement Connectors Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Energy-aware data processing techniques for wireless sensor networks: A review

Energy-aware data processing techniques for wireless sensor ...

引用

3rd International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2010

作者： Chong, Suan Khai Gaber, Mohamed Medhat Krishnaswamy, Shonali Loke, Seng Wai Centre for Distributed Systems and Software Engineering Monash University 900 Dandenong Rd Caulfield EastVIC3145 Australia School of Computing University of Portsmouth Portsmouth HampshirePO1 3HE United Kingdom Department of Computer Science and Computer Engineering La Trobe University VIC3086 Australia

ISBN: (纸本)9783642230738

Extensive data generated by peers of nodes in wireless sensor networks (WSNs) needs to be analysed and processed in order to extract information that is meaningful to the user. Data processing techniques that achieve this goal on sensor nodes are required to operate while meeting resource constraints such as memory and power to prolong a sensor network’s lifetime. This survey serves to provide a comprehensive examination of such techniques, enabling developers of WSN applications to select and implement data processing techniques that perform efficiently for their intended WSN application. It presents a general analysis of the issue of energy conservation in sensor networks and an up-to-date classification and evaluation of data processing techniques that have factored in energy constraints of sensors. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Combining Static and Dynamic Analysis to Discover software Vulnerabilities

Combining Static and Dynamic Analysis to Discover Software V...

引用

International Conference on Innovative Mobile and Internet Services in Ubiquitous computing (IMIS)

作者： Ruoyu Zhang Shiqiu Huang Zhengwei Qi Haibin Guan School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University China School of Electronic Information and Electrical Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University China

Dynamic taint analysis has been proved to be very effective in solving security problems recently, especially in software vulnerability detection and malicious behavior prevention. Unfortunately, most of current researches in this field focus on the runtime protection, and are incapable to discover the potential threat in the software. This paper describes a novel approach to overcome the limitation of traditional dynamic taint analysis by integrating static analysis into the system and presents framework SDCF. The framework translates the binary into assembly code and tracks the data flow. Then with static method, the system can get the important information which can't be gained at runtime, such as unexecuted part of the code. When this information is acquired, they will be provided to the client tools. The practicability of the framework is validated by implementing and evaluating a tool built on SDCF. The result of the experiments shows that our system is able to detect latent software vulnerabilities efficiently.

关键词： software Registers Runtime Performance analysis Monitoring Testing Optimization

来源：评论

学校读者我要写书评

暂无评论

Poly-X: An online intelligent tutoring system for e-learning

Poly-X: An online intelligent tutoring system for e-learning

引用

International Conference on Data Mining and Intelligent Information Technology Applications (ICMiA)

作者： James N.K Liu Simon Shiu Yuan Wang Zunchao Li Liwei Jia Yuan Rao Department of Computing HongKong Polytechnic University Hong Kong China Software Engineering School Xian JiaoTong University China School of Electronic and Information Engineering Xian JiaoTong University China

Nowadays, with the development of technology, E-Learning becomes a new trend of conductive and independent learning model. The primary purpose of this study is to develop an intelligent system for online tutoring which provides a communication platform for teaching-learning activities. This paper presents an intelligent approach for implementing the web-based E-Learning and tutoring. The system is integrated with different modules including the adaptive navigation learning control, the intelligent quiz module for learning outcome assessment, and the video conference module for group discussion or presentation. Promising results are collected indicating that the system is supportive to off-campus students.

关键词： Learning systems Educational institutions Streaming media Servers Knowledge representation Databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 485 486 487 488 489 490 491 492 493 494 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：