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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,802 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,295 篇 工学
- 973 篇 计算机科学与技术...
- 836 篇 软件工程
- 191 篇 控制科学与工程
- 152 篇 信息与通信工程
- 149 篇 机械工程
- 133 篇 电气工程
- 78 篇 电子科学与技术（可...
- 74 篇 动力工程及工程热...
- 68 篇 生物工程
- 58 篇 仪器科学与技术
- 56 篇 交通运输工程
- 56 篇 生物医学工程（可授...
- 54 篇 土木工程
- 45 篇 材料科学与工程（可...
- 45 篇 建筑学
- 43 篇 安全科学与工程
- 38 篇 冶金工程
- 38 篇 环境科学与工程（可...
507 篇 理学
- 356 篇 数学
- 80 篇 物理学
- 76 篇 生物学
- 72 篇 统计学（可授理学、...
- 70 篇 系统科学
328 篇 管理学
- 242 篇 管理科学与工程(可...
- 127 篇 工商管理
- 85 篇 图书情报与档案管...
87 篇 教育学
- 85 篇 教育学
63 篇 经济学
- 61 篇 应用经济学
59 篇 医学
- 51 篇 临床医学
- 39 篇 基础医学(可授医学...
35 篇 法学
33 篇 农学
27 篇 艺术学
16 篇 文学
5 篇 军事学
2 篇 历史学
1 篇 哲学

主题

96 篇 programming
69 篇 linear programmi...
43 篇 dynamic programm...
39 篇 software enginee...
39 篇 optimization
33 篇 computer science
30 篇 computational mo...
27 篇 costs
25 篇 matlab
25 篇 genetic algorith...
24 篇 software
22 篇 students
22 篇 mathematical mod...
21 篇 artificial intel...
19 篇 application soft...
18 篇 genetic programm...
18 篇 heuristic algori...
17 篇 programming prof...
17 篇 java
17 篇 semantics

机构

6 篇 department of co...
5 篇 college of infor...
5 篇 chitkara univers...
5 篇 school of north ...
5 篇 air and missile ...
4 篇 school of inform...
4 篇 school of comput...
4 篇 school of traffi...
4 篇 college of elect...
4 篇 international sc...
4 篇 school of inform...
4 篇 college of mecha...
4 篇 school of comput...
3 篇 school of electr...
3 篇 school of contro...
3 篇 state key labora...
3 篇 school of electr...
3 篇 school of inform...
3 篇 college of elect...
3 篇 school of comput...

作者

5 篇 wei wang
4 篇 chen chen
4 篇 li bing
4 篇 ramesh t.
4 篇 mannava vishnuva...
4 篇 yang liu
3 篇 wang lei
3 篇 wei liu
3 篇 wei li
3 篇 yang yang
3 篇 bing liu
3 篇 chen yu
3 篇 gao weixia
3 篇 wang wei
3 篇 hui li
3 篇 singh neeraj kum...
3 篇 liu wei
3 篇 junwei lei
3 篇 golam mostafa
3 篇 sonawane d.n.

语言

1,741 篇 英文
41 篇 中文
22 篇 其他
1 篇 西班牙文

检索条件"任意字段=2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018"

共 1802 条记录，以下是1711-1720 订阅

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

详细简洁

排序：

Partial evaluation of MATLAB 03

引用

Proceedings of the 2nd international conference on Generative programming and component engineering

作者： Daniel Elphick Michael Leuschel Simon Cox Department of Electronics and Computer Science University of Southampton Highfield Southampton SO17 1BJ UK School of Engineering Sciences University of Southampton Highfield Southampton SO17 1BJ UK

ISBN: (纸本)9783540201021

We describe the problems associated with the creation of high performance code for mathematical computations. We discuss the advantages and disadvantages of using a high level language like MATLAB and then propose partial evaluation as a way of lessening the disadvantages at little cost. We then go on to describe the design of a partial evaluator for MATLAB and present results showing what performance increases can be achieved and the circumstances in which partial evaluation can provide these.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Principles of real-time programming 1

引用

2nd international conference on Embedded Software, EMSOFT 2002

作者： Kirsch, Christoph M. Department of Electrical Engineering and Computer Sciences University of California Berkeley United States

ISBN: (数字)9783540458289

ISBN: (纸本)9783540443070

Real-time programming is a software engineering discipline that has been around ever since the dawn of digital computing. The dream of real-time programmers is to unlock the virtually unlimited potential of software for embedded computer systems – digital computers that are supposed to behave like analog devices. The perfect embedded computer system is invisibly hybrid, it works according to the largely unidentified laws of embedded software but acts according to the laws of physics. The critical interface between embedded software and physics is real-time and yet, while physical processes evolve in real-time, software processes do not. Only the embedded computer system as a whole – embedded software and hardware – determines a complex notion of so-called soft-time to which the software processes adhere: mapping soft-time to real-time is the art of real-time programming. We discuss various real-time programming models that support the development of real-time programs based on different abstractions of soft-time. We informally introduce a real-time process model to study (1) the compositionality of the real-time programming models and (2) the semantics of real-time programs developed in these models. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

New methods to generate neutral images for spatial pattern recognition 1

引用

2nd international conference on Geographic Information science, GIscience 2002

作者： Liebisch, Niels Jacquez, Geoffrey Goovaerts, Pierre Kaufmann, Andreas Biomedware Inc 516 N. State Street Ann ArborMI48104 United States Department of Civil and Environmental Engineering University of Michigan Ann ArborMI48109 United States

ISBN: (数字)9783540457992

ISBN: (纸本)9783540442530

Three new methods are developed to generate neutral spatial models for pattern recognition on raster data. The first method employs Genetic programming (GP), the second Sequential Gaussian Simulation (SGS), and the third Conditional Pixel Swapping (CPS) in order to produce sets of "neutral images" that provide a probabilistic assessment of how unlikely an observed spatial pattern on a target image is under the null hypothesis. The sets of neutral images generated by the three methods are found to preserve different aspects of spatial autocorrelation on the target image. This preliminary research demonstrates the feasibility of using neutral image generation in spatial pattern recognition. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Physical programming: Beyond mere logic 2nd

引用

2nd international conference on Embedded Software (EMSOFT 2002)

作者： Selic, B Rational Software Canada Kanata ON K2V 1C8 Canada

ISBN: (纸本)354044307X

Conventional wisdom encourages software designers to take a Platonic approach to design;they are instructed to focus on ensuring the correctness of the logic of their software while playing down or even ignoring the generally unpleasant characteristics of the underlying computing platform. However, as software systems become increasingly more integrated into our everyday activities, this approach can be highly counterproductive. For example, when a software system is distributed over multiple physically distinct platforms, seemingly mundane things such as transmission delays or component failures can have a critical impact on program logic. The widely-held view that physical concerns only matter in highly specialized domains, such as real-time or fault-tolerant systems, leaves us singularly unprepared for the coming generation of Internet-based software. In this talk, we first examine the different ways in which software logic can be affected by its physical context. We then outline a conceptual framework for extending traditional software engineering concepts to deal with these issues.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Adaptable components for software product line engineering 1

引用

2nd international conference on Software Product Lines, SPLC 2002

作者： John Brown, T. Spence, Ivor Kilpatrick, Peter Crookes, Danny School of Computer Science The Queen’s University of Belfast BelfastBT7 1NN United Kingdom

ISBN: (数字)9783540456520

ISBN: (纸本)9783540456520

This paper explores techniques for implementing adaptable software components. Such techniques can greatly facilitate the implementation of software product lines. The techniques we present allow the construction of large transparently adaptable components via composition and parameterization. Functional and structural adaptation, to any level of nesting, is achieved at the point of instantiation via recursive argument lists whose structure mirrors that of the component. The techniques are currently based on the C++ language, although work is under way to extend them to other languages (particularly Java™). © Springer-Verlag Berlin Heidelberg 2002.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Extension mechanism in extensible XML query language X² QL 2

Extension mechanism in extensible XML query language X<SUP>2...

引用

2nd international conference on Web Information Systems engineering (WISE 2001)

作者： Shinagawa, N Kitagawa, H Chiba Univ Ctr Environm Remote Sensing Inage Ku Chiba 2638522 Japan

ISBN: (纸本)076951393X

XML has been used to code various types of data in a wide range of application domains, and the volume of XML data has been rapidly, increasing. XML query, languages provide a clue to manipulating huge amounts of XML data. XML data in each application domain have their own structures and associated semantics. Therefore, to appropriately process them, we sometimes need domain dependent functions, taking into account content characteristics. To utilize such functions in XML queries, we need extensibility, because they can not be covered by, built-in-functions. We have developed eXtensible XML Query Language X(2)QL and its processing system, which feature user-defined foreign functions in the context of XML-QL-based query facilities. Foreign functions are implemented using general programming languages. Extensibility, is based on an XML data model in which elements arc modeled as stateful objects. This gives "dynamic aspects" (concepts of methods and processing-time properties) to elements, which have been treated as static data in general XML query, languages. Our extensibility also enables user-defined aggregation functions and facilities such as sort and top-N selection. This paper explains X(2)QL and its extensibility. Focus is on the data model, Java binding of foreign functions, and how to implement them. The paper also describes development of an X(2)QL query processor working with XML servers.

关键词： Computer languages Data models Data structures Database languages Feature extraction Internet Java Remote sensing Web server XML

来源：评论

学校读者我要写书评

暂无评论

A component-based, reconfigurable mobile agent system for context-aware computing 2nd

A component-based, reconfigurable mobile agent system for co...

引用

2nd international conference on Advances in Information Systems, ADVIS 2002

作者： Chiao, Hsin-Ta Cheng, Ming-Chun Chang, Yue-Shan Yuan, Shyan-Ming Department of Computer and Information Science National Chiao Tung University 1001 Ta Hsueh Rd Hsinchu300 Taiwan Department of Electronic Engineering Minghsin Institute of Technology 1 Hsin-Hsing Road Hsin-Fong Hsinchu304 Taiwan

ISBN: (纸本)3540000097

In the near future, people can use various kinds of portable terminal devices, such as PDAs or smart phones, to access the information on Internet at any time, in any place, for supporting their daily life. Personal mobile agents can help those people to search, to filter, to analyze, or to translate the large amount of Internet information. Since the context of a user may vary frequently, the way a personal mobile agent process the Internet information must adapt to the context change. However, we think that the current mainstream mobile agent platforms, such as the IBM Aglet and the IKV++ Grasshopper, are not good enough for developing context-aware applications. Hence, we propose a Component-based, Reconfigurable Mobile Agent (CRMA) system, which is designed for context-aware computing. It offers downloadable user-interface modules on terminal devices for application to adapt the characteristics of various terminal devices. In addition, on agent side, CRMA provides a reconfigurable agent-programming framework, which uses component-based pipelines to perform context-aware data-processing operations. This not only simplifies the programming task for dynamically reconfiguring an agent’s behavior to adapt the context change, but also improves the reusability of agent software. In the end of this paper, we will propose a context-aware meta-search service to demonstrate how to use CRMA to develop a context-aware application. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

Platform-based embedded software design for multi-vehicle multi-modal systems

引用

2nd international conference on Embedded Software, EMSOFT 2002

作者： John Koo, T. Liebman, Judith Ma, Cedric Horowitz, Benjamin Sangiovanni-Vincentelli, Alberto Sastry, Shankar Department of Electrical Engineering and Computer Sciences University of California at Berkeley BerkeleyCA94720 United States

ISBN: (纸本)9783540443070

In this paper, we present a methodology for the design of embedded controllers for multi-vehicle multi-modal systems. Our methodology is predicated upon the principles of platform-based design, which uses layers of abstraction to isolate applications from low-level system details and yet provides enough information about the important parameters of the lower layers of abstraction, to modularize the system design and to provide predictable system performance. An essential layer of abstraction in our methodology is the software platform provided by the programming language Giotto, which allows a clean implementation of a time-based controller application. Our methodology includes a hardware-in-the-loop simulation framework, in which system components can be replaced by actual implementation for high-fidelity simulation. To demonstrate the effectiveness of our design methodology, a helicopter based unmanned aerial vehicle system is presented. We present simulation results which validate the quality of our embedded control system implementation. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

PRIMA-UML: a performance validation incremental methodology on early UML diagrams

PRIMA-UML: a performance validation incremental methodology ...

引用

3rd international conference on the Unified Modeling Language (UML 2000)

作者： Cortellessa, V Mirandola, R Univ Roma Tor Vergata Dipartimento Informat Sistemi & Prod Rome Italy Univ Aquila Dipartimento Informat I-67100 Laquila Italy

The development of complex software systems satisfying performance requirements is achievable only spending careful attention to performance goals throughout the lifecycle, and especially from its very beginning. Unified modeling language (UML) is quickly becoming a standard notation for specification and design of software systems. UML offers several diagrams for separating concerns of different system views, and this feature is helpful to derive early performance models that take into account combined data from these diagrams. In this paper, we introduce a methodology Performance Incremental Validation in UML (PRIMA-UML) aimed at generating a queueing network based performance model from UML diagrams that are usually available early in the software lifecycle. PRIMA-UML is incremental in that it combines information extracted from (and annotated into) different UML diagrams to piecewise build the performance model. Besides, this is not a "black box" approach, as the methodology is open to embed information coming from other UML diagrams (possibly in late lifecycle phases) for detailing, refining or domain tailoring the performance model. This work is a contribute to encompass the performance validation task as an integrated activity within the development process of complex systems. We apply the methodology to a quite simple example to show how effective it can be to get early performance insights. (C) 2002 Elsevier science B.V. All rights reserved.

关键词： unified modeling language queueing networks performance engineering complex software systems

来源：评论

学校读者我要写书评

暂无评论

Action chaining by a developmental robot with a value system

Action chaining by a developmental robot with a value system

引用

IEEE international conference on Development and Learning, ICDL

作者： Yilu Zhang Juyang Weng Department of Computer Science and Engineering Michigan State University East Lansing MI USA

A developmental cognitive learning architecture with a value system is proposed for an artificial agent to learn composite behaviors upon the acquisition of basic ones. This work is motivated by researches on classical conditioning in animal learning areas. Compared to former works, the proposed architecture enables an agent to conduct learning in unknown environments through online realtime experiences. All possible perceptions and actions, including even the actual number of classes, are not available until the programming is finished and the robot starts to learn in the real world. Experiments with our SAIL (Self-organizing Autonomous Incremental Learner) robot are reported to show how a trainer instructed (or shaped) the behaviors of the agent through verbal commands.

关键词： Animals Protocols Robot sensing systems Cognitive robotics Computer science Ducts Contracts Indium tin oxide Instruments Machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共181页 << < 168 169 170 171 172 173 174 175 176 177 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：