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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
119 篇 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,494 篇 英文
82 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3605 条记录，以下是2501-2510 订阅

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

详细简洁

排序：

Automated global-to-local programming in 1-D spatial multi-agent systems 08

Automated global-to-local programming in 1-D spatial multi-a...

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2

作者： Daniel Yamins Radhika Nagpal Harvard University Cambridge MA

ISBN: (纸本)9780981738116

A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global computational tasks. this paper develops a principled approach to global-to-local programming, for pattern formation problems in a one-dimensional multi-agent model. We present theoretical analysis that addresses the existence, construction, and resource tradeoffs of robust local rule solutions to global patterns, and which together form a "global-to-local compiler".

关键词：

来源：评论

学校读者我要写书评

暂无评论

On abstract intelligence and its denotational mathematics foundations

On abstract intelligence and its denotational mathematics fo...

引用

IEEE international conference on Cognitive Informatics

作者： Yingxu Wang International Center for Cognitive Informatics (ICfCI) Theoretical and Empirical Software Engineering Research Centre (TESERC) Department of Electrical and Computer Engineering Schulich School of Engineering University of Calgary Calgary AB Canada

ISBN: (纸本)9781424425389

Recent researches reveal that various paradigms of intelligence, such as natural, artificial, machinable, and computational intelligence, can be unified at the logical and functional levels known as abstract intelligence. this paper introduces abstract intelligence as a form of driving force that transfers information into knowledge and behaviors. An architectural framework of abstract intelligence and the generic abstract intelligence mode (GAIM) are formally developed that provide a unified theory for explaining the mechanisms of advanced intelligence. In order to deal with the highly complex and abstract objects in abstract intelligence, denotational mathematics is introduced as a category of expressive mathematical structures for modeling and manipulating high-level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, abstract concepts, knowledge, processes, and systems. Applications of denotational mathematics in abstract intelligence, cognitive informatics, and computational intelligence are elaborated.

关键词： Abstract intelligence Intelligence science Natural intelligence Artificial intelligence Cognitive informatics Denotational mathematics Concept algebra System algebra Process algebra RTPA Cognitive science Computational intelligence Artificial Intelligence Computational intelligence Cognitive informatics Intelligence process algebra Cognitive Science mathematics

来源：评论

学校读者我要写书评

暂无评论

the Vehicle Abstraction Layer: A simplified approach to multi-agent, autonomous UAV systems development

The Vehicle Abstraction Layer: A simplified approach to mult...

引用

international conference on System Simulation and Scientific Computing, ICSC

作者： C.D. Fulford N.H.M. Lie E.J.P. Earon R. Huq C.A. Rabbath Quanscr Consulting Inc Markham Ontario Canada University of Toronto Toronto ON CA Defence Research and Development Canada Valcartier Quebec Canada

Unmanned aerial vehicles (UAVs) are gaining in popularity across a broad spectrum of applications and fields. Two of the main challenges faced when developing autonomous, multi-agent UAV systems is the software development and simulation cycle and the flight test cycle. Each of these aspects can be time consuming and introduce other difficulties, ultimately hindering the mission design and development cycle. In order to address the drawbacks of conventional UAV systems development, the vehicle abstraction layer (VAL) is being developed as part of the Quanser Cooperative Control Framework (QCCF). the goal of the VAL is to provide a robust, portable, multi-agent cooperative control rapid prototyping environment for unmanned aircraft. the VAL allows for vehicle simulation as well as actual flight testing using the same framework, alleviating the need for iterative in-field testing and minimizing the transition from simulation to flight. the VAL enables high-level decision making and control design for multi-vehicle control, high-fidelity simulation and seamless integration on any real Commercial Off-the-Shelf (COTS) UAV system. the framework is open with existing modules (such as vehicle models) available for use as templates for the addition of user-supplied components.

关键词： Unmanned aerial vehicles Remotely operated vehicles Mobile robots Aerospace simulation Application software programming Software testing System testing Control systems Robust control

来源：评论

学校读者我要写书评

暂无评论

Military Task programming Based on Finite State Machine (FSM) Decision-making Model

Military Task Programming Based on Finite State Machine (FSM...

引用

Asia Simulation conference 2008/the 7th international conference on System Simulation and Scientific Computing（ICSC‘2008）

作者： Shidong Ma the Aviation Key Laboratory for Advanced Simulation Technology,Beijing University of Aeronautics and Astronautics,Beijing,China Guanghong Gong School of Automation Science and Electrical Engineering,Beijing University of Aeronautics and Astronautics,Beijing,China Liang Han School of Automation Science and Electrical Engineering,Beijing University of Aeronautics and Astronautics,Beijing,China Xiao Song the Aviation Key Laboratory for Advanced Simulation Technology,Beijing University of Aeronautics and Astronautics,Beijing,China

Military task programming is an important foundation in military warfare simulations. Presently, scenarios in joint military warfare are built not so good to meet the requirement of aggregate-level warfare simulations and the requirement of intelligent decision in real time simulations. A method based on FSM model of aggregate-level military warfare decision-making and vehicle-level action decision-making is proposed in this paper. the programming process of joint military warfare with decision-making functions can be realized through the programming of these two levels, and the dynamic decision-making and execution of mission can be completed successfully.

关键词： FSM Military Task programming Based on Finite State Machine Decision-making Model

来源：评论

学校读者我要写书评

暂无评论

Tangible programming and informal science learning: making TUIs work for museums 08

Tangible programming and informal science learning: making T...

引用

Proceedings of the 7th international conference on Interaction design and children

作者： Michael S. Horn Erin Treacy Solovey Robert J. K. Jacob Tufts University Medford MA

ISBN: (纸本)9781595939944

In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss five design considerations for tangible interfaces in science museums that guided our development and evaluation. In doing so, we propose the notion of passive tangible interfaces. Passive tangibles serve as a way to address practical issues involving tangible interaction in public settings and as a design strategy to promote reflective thinking. Results from our evaluation indicate that passive tangibles can preserve many of the benefits of tangible interaction for informal science learning while remaining cost-effective and reliable.

关键词： children museums education programming languages tangible user interfaces informal science learning

来源：评论

学校读者我要写书评

暂无评论

A flexible framework for verifying agent programs 08

A flexible framework for verifying agent programs

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3

作者： Louise A. Dennis Berndt Farwer Rafael H. Bordini Michael Fisher University of Liverpool UK Durham University UK

ISBN: (纸本)9780981738123

there is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. the approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.

关键词： BDI agents Java pathfinder agent-oriented programming languages model checking verification

来源：评论

学校读者我要写书评

暂无评论

Epistemic logic and explicit knowledge in distributed programming 08

Epistemic logic and explicit knowledge in distributed progra...

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3

作者： Andreas Witzel Jonathan A. Zvesper University of Amsterdam Amsterdam The Netherlands

ISBN: (纸本)9780981738123

In this paper we propose an explicit form of knowledge-based programming. Our initial motivation is the distributed implementation of game-theoretical algorithms, but we abstract away from the game-theoretical details and describe a general scenario, where a group of agents each have some initially private bits of information which they can then communicate to each other. We draw on existing literature to give a formal model using modal logic to represent the knowledge of the agents as well as how that knowledge changes as they communicate. We sketch an implementation which enables processes in a distributed system to explicitly evaluate knowledge formulae. then we prove that the implementation captures the formal model, and therefore correctly reflects the general scenario. Finally we look at how our approach lends itself to generalisations, and discuss application perspectives.

关键词： explicit knowledge programming

来源：评论

学校读者我要写书评

暂无评论

An improved dynamic programming algorithm for coalition structure generation 08

An improved dynamic programming algorithm for coalition stru...

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3

作者： Talal Rahwan Nicholas R. Jennings University of Southampton Southampton UK

ISBN: (纸本)9780981738123

Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exhaustive and disjoint coalitions such that the social welfare is maximized. this coalition structure generation problem is extremely challenging due to the exponential number of partitions that need to be examined. Specifically, given n agents, there are O(nn) possible partitions. To date, the only algorithm that can find an optimal solution in O(3n) is the Dynamic programming (DP) algorithm, due to Rothkopf et al. However, one of the main limitations of DP is that it requires a significant amount of memory. In this paper, we devise an Improved Dynamic programming algorithm (IDP) that is proved to perform fewer operations than DP (e.g. 38.7% of the operations given 25 agents), and is shown to use only 33.3% of the memory in the best case, and 66.6% in the worst.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Goals in agent systems: a unifying framework 08

Goals in agent systems: a unifying framework

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2

作者： M. Birna van Riemsdijk Mehdi Dastani Michael Winikoff LMU Munich Germany Utrecht University The Netherlands RMIT University Melbourne Australia

ISBN: (纸本)9780981738116

In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal types and propose a simple and general definition of goal, which unifies these goal types. We then give a formal and generic operationalization of goals by defining an abstract goal architecture, which describes the adoption, pursuit, and dropping of goals in a generic way. this operationalization is used to characterize the discussed goal types.

关键词： formal semantics goals agent programming

来源：评论

学校读者我要写书评

暂无评论

A model of contingent planning for agent programming languages 08

A model of contingent planning for agent programming languag...

引用

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1

作者： Yves Lespérance Giuseppe De Giacomo Atalay Nafi Ozgovde York University Toronto Canada Univer. di Roma "La Sapienza" Roma Italy University of Toronto Toronto Canada

ISBN: (纸本)9780981738109

In this paper, we develop a formal model of planning for an agent that is operating in a dynamic and incompletely known environment. We assume that both the agent's task and the behavior of the agents in the environment are expressed as high-level nondeterministic concurrent programs in some agent programming language (APL). In this context, planning must produce a deterministic conditional plan for the agent that can be successfully executed against all possible executions of the environment program. We handle actions with nondeterministic effects, as well as sensing actions, by treating them as actions that trigger an environmental reaction that is not under the planning agent's control. Our model of contingent planning is specified for a generic APL with a transition semantics. Within this model, we devise a general procedure for computing the contingent plans. We also show how the model can be instantiated in the situation calculus with programs for the agent and the environment expressed in ConGolog, and we describe an implementation of the planning mechanism in this case.

关键词： agent programming languages contingent planning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 247 248 249 250 251 252 253 254 255 256 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：