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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,832 篇 会议
276 篇 期刊文献
42 册 图书

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,315 篇 工学
- 1,056 篇 计算机科学与技术...
- 895 篇 软件工程
- 302 篇 信息与通信工程
- 175 篇 控制科学与工程
- 136 篇 生物工程
- 123 篇 电气工程
- 110 篇 电子科学与技术（可...
- 99 篇 生物医学工程（可授...
- 60 篇 机械工程
- 59 篇 光学工程
- 52 篇 安全科学与工程
- 49 篇 动力工程及工程热...
- 37 篇 建筑学
- 37 篇 交通运输工程
- 36 篇 化学工程与技术
- 35 篇 仪器科学与技术
577 篇 理学
- 339 篇 数学
- 149 篇 生物学
- 113 篇 物理学
- 97 篇 统计学（可授理学、...
- 73 篇 系统科学
389 篇 管理学
- 225 篇 管理科学与工程(可...
- 188 篇 图书情报与档案管...
- 129 篇 工商管理
83 篇 医学
- 81 篇 临床医学
- 77 篇 基础医学(可授医学...
- 52 篇 药学(可授医学、理...
75 篇 法学
- 55 篇 社会学
47 篇 经济学
- 47 篇 应用经济学
40 篇 教育学
- 40 篇 教育学
26 篇 农学
6 篇 文学
4 篇 军事学
1 篇 艺术学

主题

62 篇 software
59 篇 software enginee...
59 篇 accuracy
56 篇 machine learning
48 篇 computational mo...
48 篇 feature extracti...
46 篇 training
40 篇 real-time system...
39 篇 deep learning
36 篇 semantics
35 篇 computer science
33 篇 analytical model...
33 篇 artificial intel...
31 篇 computer archite...
30 篇 data mining
30 篇 predictive model...
29 篇 internet of thin...
29 篇 data models
23 篇 scalability
23 篇 support vector m...

机构

19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 dept. of compute...
15 篇 dept. of compute...
15 篇 dept. of softwar...
14 篇 dept. of electri...
13 篇 dept. of compute...
12 篇 dept. of softwar...
12 篇 dept. of compute...
12 篇 dept. of compute...
11 篇 bcmaterials basq...
11 篇 state key labora...
11 篇 bcmaterials basq...
11 篇 dept. of compute...
10 篇 college of compu...
10 篇 dept. of electri...
10 篇 dept. of compute...
9 篇 hongik universit...

作者

19 篇 ku wei-shinn
19 篇 raja hashim ali
18 篇 ali raja hashim
16 篇 usama arshad
15 篇 arshad usama
15 篇 baldwin timothy
14 篇 zain ul abideen
14 篇 yvon savaria
12 篇 min dong
12 篇 shiri nematollaa...
12 篇 beongku an
11 篇 qusay h. mahmoud
11 篇 buyya rajkumar
11 篇 an beongku
10 篇 ali zeeshan ijaz
9 篇 ben liang
8 篇 m. sawan
8 篇 baik doo-kwon
8 篇 cho seong-je
8 篇 nisar ali

语言

2,054 篇 英文
82 篇 其他
6 篇 朝鲜文
5 篇 中文
3 篇 日文

检索条件"机构=Dept. of Computer and Software Engineering Polytechnique"

共 2150 条记录，以下是1741-1750 订阅

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

详细简洁

排序：

Verification of automatically generated pattern-based LTL specifications

Verification of automatically generated pattern-based LTL sp...

引用

10th IEEE International Symposium on High Assurance Systems engineering

作者： Salamah, Salamah Gates, Ann Q. Kreinovich, Vladik Roach, Steve Dept. Comp and Software Engineering Embry-Riddle Aeronautical Univ. Computer Science Dept. University of Texas El Paso United States

ISBN: (纸本)9780769530437

The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior have been shown to assist practitioners in generating formal specifications that can be used informal verification techniques. The Specification Pattern System (SPS) provides descriptions of a collection of patterns. The extent of program execution over which a pattern must hold is described by the notion of scope. SPS provides a manual technique for obtaining formal specifications from a pattern and a scope. The Property Specification Tool (Prospec) extends SPS by introducing Composite Propositions (CPs), a classification for defining sequential and concurrent behavior to represent pattern and scope parameters, and provides a tool to support users. This work provides general templates for generating formal specifications in Linear Temporal Logic (LTL) for all pattern, scope, and CP combinations. In addition, the work explains the methodology for the verification of the correctness of these templates.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Bowl championship series vulnerability analysis 07

Bowl championship series vulnerability analysis

引用

4th Richard Tapia Celebration of Diversity in Computing Conference 2007

作者： Soares, Caio Page, George MacDonald, Jonathan Baskiyar, Sanjeev Hamilton Jr., John Dozier, Gerry Dept. of Computer Science and Software Engineering Auburn University AL 36849 Dept. of Computer Science North Carolina A and T State University Greensboro NC 27411

ISBN: (纸本)9781595938664

The Bowl Championship Series (BCS) is the system used to select the top two college football teams to play in a championship game at the end of a season. During the nine seasons played under the BCS, few have not caused considerable debate and controversy. We believe that an analysis of the BCS and its components is therefore required. This work uses a GRNN to model the eight polls that compose the ranking system of the BCS. Then, a genetic algorithm (GA) is used to evolve season schedules that would perform poorly under the current BCS. These difficult seasons are then analyzed to highlight weaknesses in the current model. © 2007 ACM.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

A large-scale and decentralized infrastructure for content-based publish/subscribe services

A large-scale and decentralized infrastructure for content-b...

引用

36th International Conference on Parallel Processing in Xi'an, ICPP

作者： Yang, Xiaoyu Zhu, Yingwu Hu, Yiming Dept. of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States Dept. of Computer Science and Software Engineering Seattle University Seattle MA 98122 United States

ISBN: (纸本)076952933X

Publish/Subscribe model has become a prevalent paradigm for building distributed event delivering systems. Content-based publish/subscribe allows high expresses in subscriptions and thus is more appropriate for content dissemination. However, the scalability has remained a challenge in the design of distributed content-based publish/subscribe systems due to the expensive matching and delivering cost of content-based events. In this paper we propose HyperSub, an infrastructure built on top of distributed hash table (DHT) for efficient content-based data distribution. Based on efficient subscription installation, event publication and event delivery mechanisms, HyperSub can provide a scalable platform to simultaneously support any numbers of pub/sub schemes with different number of attributes. There are three key features in the design of HyperSub: (1) a locality-preserving hashing mechanism which partitions the content space into content zones. Subscriptions and events are mapped to the content zones for efficiently matching;(2) an efficient event delivery algorithm which exploits the embedded trees in the underlying DHT to deliver events to the corresponding subscribers;(3) light-weighted load balancing mechanisms to adjust the load among peers and ensure that no peer is unduly loaded. © 2007 IEEE.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

AutoPaG: Towards automated software patch generation with source code root cause identification and repair 07

AutoPaG: Towards automated software patch generation with so...

引用

2nd ACM Symposium on Information, computer and Communications Security, ASIACCS '07

作者： Lin, Zhiqiang Jiang, Xuxian Xu, Dongyan Mao, Bing Xie, Li Dept. of Computer Science Nanjing University China Dept. of Information and Software Engineering George Mason University United States CERIAS Dept. of Computer Science Purdue University United States

ISBN: (纸本)1595935746

software patch generation is a critical phase in the life-cycle of a software vulnerability. The longer it takes to generate a patch, the higher the risk a vulnerable system needs to take to avoid from being compromised. However, in practice, it is a rather lengthy process to generate and release software patches. For example, the analysis on 10 recent Microsoft patches (MS06-045 to MS06-054) shows that, for an identified vulnerability, it took 75 days on average to generate and release the patch. In this paper, we present the design, implementation, and evaluation of AutoPaG, a system that aims at reducing the time needed for software patch generation. In our current work, we mainly focus on a common and serious type of software vulnerability: the out-of-bound vulnerability which includes buffer overflows and general boundary condition errors. Given a working out-of-bound exploit which may be previously unknown, AutoPaG is able to catch on the fly the out-of-bound violation, and then, based on data flow analysis, automatically analyzes the program source code and identifies the root cause - vulnerable source-level program statements. Furthermore, within seconds, AutoPaG generates a fine-grained source code patch to temporarily fix it without any human intervention. We have built a proof-of-concept system in Linux and the preliminary results are promising: AutoPaG is able to successfully identify the root cause and generate a source code patch within seconds for every vulnerability test in the Wilander's buffer overflow benchmark test-suite. In addition, the evaluation with a number of real-world out-of-bound exploits also demonstrates its effectiveness and practicality in automatically identifying (vulnerable) source code root causes and generating corresponding patches. Copyright 2007 ACM.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Cross-modal interaction and integration with relevance feedback for medical image retrieval

引用

13th International Multimedia Modeling Conference, MMM 2007

作者： Rahman, Mahmudur Sood, Varun Desai, Bipin C. Bhattacharya, Prabir Dept. of Computer Science and Software Engineering Concordia University Canada Institute for Information Systems Engineering Concordia University Canada

ISBN: (纸本)9783540694212

This paper presents a cross-modal approach of image retrieval from a medical image collection which integrates visual information based on purely low-level image contents and case related textual information from the annotated XML files. The advantages of both the modalities are exploited by involving the users in the retrieval loop. For content-based search, low-level visual features are extracted in vector form at different image representations. For text-based search, keywords from the annotated files are extracted and indexed by employing the vector space model of information retrieval. Based on the relevance feedback, textual and visual query refinements are performed and user's perceived semantics are propagated from one modality to another. Finally, the most similar images are obtained by a linear combination of similarity matching and re-ordering in a pre-filtered image set. The experiments are performed on a collection of diverse medical images with case-based annotation of each image by experts. It demonstrates the flexibility and the effectiveness of the proposed approach compared to using only a single modality or without any feedback information. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

What can OSS mailing lists tell us? A preliminary psychometric text analysis of the Apache developer mailing list

What can OSS mailing lists tell us? A preliminary psychometr...

引用

ICSE 2007 Workshops: Fourth International Workshop on Mining software Repositories, MSR 2007

作者： Rigby, Peter C. Hassan, Ahmed E. Software Engineering Group University of Victoria BC Canada Dept. of Electrical and Computer Engineering University of Victoria BC Canada

ISBN: (纸本)076952950X

Developer mailing lists are a rich source of information about Open Source software (OSS) development. The unstructured nature of email makes extracting information difficult. We use a psychometrically-based linguistic analysis tool, the LIWC, to examine the Apache httpd server developer mailing list. We conduct three preliminary experiments to assess the appropriateness of this tool for information extraction from mailing lists. First, using LIWC dimensions that are correlated with the big five personality traits, we assess the personality of four top developers against a baseline for the entire mailing list. The two developers that were responsible for the major Apache releases had similar personalities. Their personalities were different from the baseline and the other developers. Second, the first and last 50 emails for two top developers who have left the project are examined. The analysis shows promise in understanding why developers join and leave a project. Third, we examine word usage on the mailing list for two major Apache releases. The differences may reflect the relative success of each release. © 2007 IEEE.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

On the connection between functional programming languages and real-time Java scoped memory 07

On the connection between functional programming languages a...

引用

5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007

作者： Defoe, Delvin C. LeGrand, Rob Cytron, Ron K. Dept. of Computer Science and Software Engineering Rose-Hulman Institute of Technology Terre Haute IN Dept. of Computer Science and Engineering Washington University in St. Louis St. Louis MO

ISBN: (纸本)9781595938138

Java has recently joined C and C++ as a relatively high-level language suitable for developing real-time applications. Java's garbage collection, while generally a useful feature, can be problematic for real-time applications if collection occurs with unpredictable frequency and latency. The Real-Time Specification for Java#8482;(RTSJ) incorporates a scoped-memory model, akin to regions, that is not subject to garbage collection. However, applications are subject to strict rules concerning how objects can reference each other in scoped memory. Unfortunately, almost all extant Java code, including Java's vast and useful runtime libraries, will not execute properly in scoped-memory areas without significant modification. In this paper, we show that programs written in a pure functional programming language can be executed in a provably safe manner using scoped memory in RTSJ. This new connection allows extant implementations of important abstract data types to migrate safely to RTSJ. We also explore the effect of RTSJ's referencing rules on the asymptotic, real-time behavior of some abstract data types. Copyright © 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Distortion-based partial distortion search for fast motion estimation

Distortion-based partial distortion search for fast motion e...

引用

IEEE International Conference on Multimedia and Expo (ICME 2007)

作者： Kim, Jong-Ho Kim, Byung-Gyu Cho, Chang-Sik Real-time Multimedia Research Division Electronics and Telecommunications Research Institute Computer Software and Engineering Dept. University of Science and Technology

ISBN: (纸本)9781424410163

Block motion estimation with full search is computationally complex. To reduce this complexity, different methods have been proposed, including partial distortion, which can reduce the computational complexity with no loss of image quality. We propose a distortion-based partial distortion search (DPDS) based on the magnitude of distortion and adaptive update of the matching order. We calculate absolute differences for all pixels in the predicted block point. Pixels are then sorted by the amount of distortion in a descending order for the matching process, which produces a scanning map. The sum of the absolute differences (SAD) of other candidate positions is then computed from this matching order. We also use an update of the scanning map by checking the increase in the number of absolute differences for the SAD value. The proposed DPDS algorithm improves the computational efficiency, compared with the original PDS scheme, because the accumulated value of the absolute pixel differences can rapidly reach the current minimum SAD value. The proposed algorithm is 4-13 times faster than the full search method with the same visual quality.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

A relaxed probing rate adaptation in ieee8o2.11 wlans

A relaxed probing rate adaptation in ieee8o2.11 wlans

引用

WINSYS 2007 - 2nd International Conference on Wireless Information Networks and Systems

作者： Biaz, Saâd Wu, Shaoen Dept. of Computer Science and Software Engineering Auburn University Dustan hall 107 Al 36849 United States

The availability of multiple rates in IEEE8O2. 11 WLANs and instability of wireless channel conditions call for data rate adaption algorithms to optimize network performance. Rate adaption is the process of assessing instantaneous channel conditions and determining the most appropriate data rate. This paper presents a relaxed probing rate adaptation scheme to determine the most appropriate instantaneous data rate for both downlink and uplink channels, especially in the case where control frames such as RTSICTS are not available. For this goal, the proposed scheme exploits the mandatory management beacon frame, thus without requiring probing frames like RTS/CTS necessary for other so far proposed schemes. Ns-2 simulations with IEEE8O2. 1 lb of the proposed scheme yield more than 100% throughput improvement in high density networks. Also, simulations show that the proposed scheme is insensitive to beacon interval.

关键词： Wireless local area networks (WLAN)

来源：评论

学校读者我要写书评

暂无评论

A modified model for private data security facing E-commerce

A modified model for private data security facing E-commerce

引用

SNPD 2007: 8th ACIS International Conference on software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Chunyong, Yin Jianshi, Li Ruxia, Sun Software Engineering Laboratory Dept. of Computer Science Guizhou University Guiyang 550025 China Dept. of Computer Science Binzhou College Binzhou 256600 China Network Engineering Laboratory Binzhou College Binzhou 256600 China

ISBN: (纸本)0769529097

In order to improve personal data security in the electronic commerce, and to avoid information exposing of personal privacy, personal data was used as the encrypted principle, applying homomorphism and random perturbation to strengthen personal data security. This paper analyze the usage of personal data in electronic commerce firstly, Then discuss the P3P to realize security of personal data. This mechanism cannot guarantee that Web sites do act according to their policies once they have obtained user's personal data. In light of this, a new algorithm was used to acquire improved security. The proposed algorithm uses homomorphism as principle to preserve privacy. This method can make the important data to be appeared with secret content in the web service, and prevent personal data from being misused. The simulation results proved that the modified method can protect personal privacy effectively, and can carry on data mining to provide the characteristic service for the customer, and modified method has shorter response time. © 2007 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 171 172 173 174 175 176 177 178 179 180 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：