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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,394 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

3,601 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,401 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 420 篇 电气工程
- 272 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 74 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 61 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 43 篇 动力工程及工程热...
- 38 篇 土木工程
- 37 篇 仪器科学与技术
- 34 篇 冶金工程
675 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 53 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,496 篇 英文
79 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3603 条记录，以下是2861-2870 订阅

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

详细简洁

排序：

OWLer: a semantic web ontology inference engine

OWLer: a semantic web ontology inference engine

引用

international conference on Advanced Communication Technology (ICACT)

作者： Young-guk Ha Joo-chan Sohn Young-jo Cho Intelligent Robot Research Division Electronics and Telecommunications Research Institute South Korea Intelligent Robot Research Division Electronics and Telecommunications Research Institute

the semantic Web is an emerging technology regarded as the next generation Web paradigm. In the semantic Web, each resource and service is annotated with semantic markups which are defined in Web ontology language OWL. therefore research and implementation of practical OWL inference system is very important work for realization of the semantic Web. In this paper, we present design and implementation of OWLer which is an extensible semantic Web ontology inference engine. OWLer engages axiomatization where the semantics of OWL vocabularies is described in a logic programming language, such as FOL, and theorem proving technique is used to infer from OWL ontology. And we also present the test result of OWLer engine with W3C standard entailment test cases

关键词： Semantic Web Ontologies Engines OWL Logic programming Testing Vocabulary Service oriented architecture Robots Intelligent agent

来源：评论

学校读者我要写书评

暂无评论

Farsighted sensor management strategies for move/stop tracking

Farsighted sensor management strategies for move/stop tracki...

引用

international conference on Information Fusion

作者： A. Nedich M.K. Schneider R.B. Washburn BAE Systems Burlington MA USA

We consider the sensor management problem arising in using a multi-mode sensor to track moving and stopped targets. the sensor management problem is to determine what measurements to take in time so as to optimize the utility of the collected data. Finding the best sequence of measurements is a hard combinatorial problem due to many factors, including the large number of possible sensor actions and the complexity of the dynamics. the complexity of the dynamics is due in part to the sensor dwell-time depending on the sensor mode, targets randomly starting and stopping, and the uncertainty in the sensor detection process. For such a sensor management problem, we propose a novel, computationally efficient, farsighted algorithm based on an approximate dynamic programming methodology. the algorithm's complexity is polynomial in the number of targets. We evaluate this algorithm against a myopic algorithm optimizing an information-theoretic scoring criterion. Our simulation results indicate that the farsighted algorithm performs better with respect to the average time the track error is below a specified goal value.

关键词： Target tracking Radar tracking Time measurement Dynamic programming Sensor systems Object detection Radar measurements Polynomials Computational modeling Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

A computing environment for urban traffic systems

A computing environment for urban traffic systems

引用

international conference on Advanced Communication Technology (ICACT)

作者： M. Khalil E. Peytchev D. Al-Dabass School of Computing and Informatics Nottingham Trent University Nottingham UK

this paper presents a computing environment for building hierarchical traffic telematics distributed systems based on nonlocking distributed shared memory algorithm. the algorithm aims mainly at minimising the total amount of time for data retrieval in network of workstations, considering the point of view of distributed traffic modules. the framework presented in this paper adopts a nonlocking model to achieve the required performance. the presented framework develops further the successful features of DIME (developed and designed at SOCI, NTU) and at the same time avoids its shortcomings. the experimental results show that the new framework outperforms the old design of the system

关键词： Workstations Application software programming profession Telecommunication traffic Traffic control Information retrieval Computer networks High performance computing Middleware Protocols

来源：评论

学校读者我要写书评

暂无评论

An approximate dynamic programming approach to a communication constrained sensor management problem

An approximate dynamic programming approach to a communicati...

引用

international conference on Information Fusion

作者： J.L. Williams J.W. Fisher A.S. Willsky Laboratory for Information and Decision Systems Massachusetts Institute of Technology Cambridge MA USA Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA USA

Resource management in distributed sensor networks is a challenging problem. this can be attributed to the fundamental trade-off between the value of information contained in a distributed set of measurements versus the energy costs of acquiring measurements, fusing them into a model of uncertainty, and transmitting the resulting model. Communications is commonly the highest contributor among these costs, typically by orders of magnitude. Failure to consider this trade-off can significantly reduce the operational lifetime of a sensor network. While a variety of methods have been proposed that treat a subset of these issues, the approaches are indirect and usually consider at most a single time step. In the context of object tracking with a distributed sensor network we propose an approximate dynamic programming approach which integrates the value of information and the cost of transmitting data over a rolling time horizon. We formulate this trade-off as a dynamic program, and use an approximation based on a linearization of the sensor model about a nominal trajectory to simultaneously find a tractable solution to the leader node selection problem and the sensor subset selection problem. Simulation results demonstrate that the resulting algorithm can provide similar estimation performance to that of the common most informative sensor selection method for a fraction of the communication cost.

关键词： Dynamic programming Costs Intelligent sensors Sensor fusion Sensor systems Resource management Energy measurement Computer networks Technology management Laboratories

来源：评论

学校读者我要写书评

暂无评论

Exploring long-time response to radiation damage in MgO

Exploring long-time response to radiation damage in MgO

引用

7th international conference on Computer Simulation of Radiation Effects in Solids

作者： Uberuaga, BP Smith, R Cleave, AR Henkelman, G Grimes, RW Voter, AF Sickafus, KE Los Alamos Natl Lab Los Alamos NM 87545 USA Loughborough Univ Technol Dept Math Sci Loughborough LE11 3TU Leics England Univ London Imperial Coll Sci Technol & Med Dept Mat London SW7 2BP England

Using a variety of computational modeling and simulation methods, we examine the production and long-time evolution of damage created in irradiated MgO. We find that the damage produced in low energy (order 1 keV) collision cascades typically consists of point defects and small defect clusters. Over long times, interstitials annihilate with vacancies and aggregate with other interstitials, forming larger clusters that exhibit surprising behavior. For example, a sixatom interstitial cluster is found to have extremely high mobility. the implications of highly-mobile large clusters are explored via a rate theory model and comparison to other materials. We conclude that successful modeling of radiation damage evolution in MgO requires explicit treatment of large interstitial clusters. (C) 2004 Elsevier B.V. All rights reserved.

关键词： MgO radiation damage molecular dynamics accelerated molecular dynamics temperature accelerated dynamics molecular statics density functional theory interstitial clusters defect mobility

来源：评论

学校读者我要写书评

暂无评论

the management of software processes with software process improvement tool based on ISO 15504

The management of software processes with software process i...

引用

international conference on Advanced Communication Technology (ICACT)

作者： Yoonjung Choi EunSeok Lee Sujung Ha Electronics and Telecommnications Research Institute South Korea School of Information and Communication Engineering Sungkyunkwan University School of Medicine South Korea

Software processes are slowly penetrating the software development industry. the fact that software process has to be applied throughout the whole lifecycle of software development is particularly true for successful projects. therefore, SPI (Software Process Improvement) is an ongoing activity throughout project duration. In this paper, we suggest process management system which is needed to assist SPI activities. To enhance the quality of software product, the proposed system supports internal assessors to conduct the gap analysis compliant with ISO IS 15504. Later, it has evolved as a process mentoring tool for developers, as well as SPI tool for software development organizations

关键词： Software tools ISO standards programming Software development management Software quality Software maintenance Software standards Computer industry Software measurement Project management

来源：评论

学校读者我要写书评

暂无评论

Enforcing sharing of peer-to-peer storage resources

Enforcing sharing of peer-to-peer storage resources

引用

international conference on Advanced Communication Technology (ICACT)

作者： Hou Meng-Shu Lu Xian-Liang Wang Tao School of Computer Science and Engineering University of Electronic Science and Technology China

Peer-to-peer (P2P) storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement mechanism. In this paper, we propose storage allocate algorithm in a P2P storage system based on the incentive mechanism. the provider allocates its space according to the consumer's contribution in order to maximize its own expected utility. Analyses and simulations show that the incentive-based mechanism can discard the free-rider from P2P system effectively and encourage the node sharing more storage so that it can earn more reward greatly

关键词： Peer to peer computing Utility theory Computer science Analytical models Dynamic programming Network servers Scalability Protocols Security Robustness

来源：评论

学校读者我要写书评

暂无评论

Clustered multidimensional data association for limited sensor resolutions

Clustered multidimensional data association for limited sens...

引用

international conference on Information Fusion

作者： F. Opitz Defence and Communication Systems / Air and Naval Defence EADS Deutschland GmbH Ulm Germany

the multidimensional data association methods were developed to establish the relation between measurements and tracks especially in dense target situations. However, even these advanced multidimensional data association methods lack in situations of unresolved measurement. Specifically, in real dense target situations being of most interest the phenomena of unresolved measurements happens quite often due to the limited sensor resolution. the new algorithm presented in this paper incorporates the unresolved measurement hypothesis into the multidimensional data association approach. An additional feature of this approach is, that also group tracking aspects are considered, which is an essential difference to proposals of other authors. therefore, this new approach significantly increases the data association result as well as track accuracy, continuity and ensures early track initialization capabilities.

关键词： Multidimensional systems Radar tracking Target tracking Sensor phenomena and characterization Sensor systems Linear programming Constraint optimization Lagrangian functions Communication systems Proposals

来源：评论

学校读者我要写书评

暂无评论

Machine learning based text analysis for intelligence collation

Machine learning based text analysis for intelligence collat...

引用

international conference on Information Fusion

作者： C. thie Z. Lock D. Smith E. Cribb A. Ford A. Rankin Malvern Technology Centre QinetiQ Limited Malvern Worcestershire UK

this paper presents the initial findings of an investigation into automated support for fusing textual information and non-text data from different sources within the military domain. Our aim is to develop a prototype fusion capability that can categorize, fuse and present intelligence information to military officers. To date, our focus has been on text information categorization using both existing text classification techniques (e.g. Weighted Feature Vector (WFV) classification) and machine learning algorithms based on inductive logic programming (ILP) and natural language processing techniques. the algorithms have been used to automatically assign documents to a pre-existing set of categories by correlating text within the documents to text relating to classifications/categories. Once text documents are categorized according to their content, then fusion can begin. the results of initial experiments indicate that the ILP approach performs at least as well as the WFV technique, and outperforms it in one set of experiments. Both techniques have the scope for further improvements which we outline in this paper.

关键词： Machine learning Text analysis Learning systems Prototypes Production Fuses Machine learning algorithms Text categorization Logic programming Natural language processing

来源：评论

学校读者我要写书评

暂无评论

Manoeuvring target tracking with the IMM-VDA algorithm

Manoeuvring target tracking with the IMM-VDA algorithm

引用

international conference on Information Fusion

作者： B. La Scala G.W. Pulford Department of Electrical and Electronic Engineering University of Melbourne VIC Australia Qinetiq Cody Technology Park GIS/FST Farnborough UK

this paper describes an algorithm for tracking a manoeuvring target in heavy clutter and/or with a low probability of detection. It is known that when tracking under such adverse conditions multi-scan tracking algorithms, such as the multi-hypothesis tracker (MHT), provide improved performance over single-scan trackers. this paper uses a computationally efficient algorithm for multi-scan target tracking based on the Viterbi algorithm, known as the Viterbi data association (VDA) algorithm. In this paper it is shown how the VDA algorithm can be combined with the well-known interacting multiple model (IMM) method to create an effective multi-scan manoeuvring target tracker. the performance of the IMM-VDA algorithm is shown by simulation. It is compared to another manoeuvring target algorithm based on the VDA approach which uses a hard decision manoeuvre detection scheme. In addition, it is compared to a single-scan tracking algorithm based on the probabilistic data association method.

关键词： Target tracking Radar tracking Viterbi algorithm Clutter Personal digital assistants Surveillance Filter bank Australia Signal to noise ratio Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 283 284 285 286 287 288 289 290 291 292 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：