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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

69 篇 会议
14 篇 期刊文献
4 册 图书

馆藏范围

87 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

46 篇 工学
- 41 篇 计算机科学与技术...
- 30 篇 软件工程
- 7 篇 控制科学与工程
- 5 篇 信息与通信工程
- 4 篇 电气工程
- 2 篇 机械工程
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 仪器科学与技术
- 1 篇 土木工程
- 1 篇 船舶与海洋工程
- 1 篇 生物工程
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
18 篇 理学
- 10 篇 数学
- 4 篇 物理学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 1 篇 海洋科学
- 1 篇 生物学
13 篇 管理学
- 9 篇 图书情报与档案管...
- 6 篇 管理科学与工程(可...
- 3 篇 工商管理
- 1 篇 公共管理
2 篇 法学
- 2 篇 社会学
- 1 篇 政治学
1 篇 文学
- 1 篇 新闻传播学

主题

8 篇 software enginee...
5 篇 computer archite...
5 篇 semantics
4 篇 task analysis
4 篇 predictive model...
4 篇 software
4 篇 intelligent syst...
3 篇 service oriented...
3 篇 ontologies
3 篇 internet
3 篇 analytical model...
3 篇 humans
3 篇 hardware
3 篇 management of co...
3 篇 data models
3 篇 web services
2 篇 computer science
2 篇 information syst...
2 篇 tuning
2 篇 reliability

机构

16 篇 institute for pr...
15 篇 institute for pr...
8 篇 karlsruhe instit...
6 篇 institute for pr...
3 篇 department of st...
3 篇 institute for pr...
2 篇 department of ma...
2 篇 software enginee...
2 篇 software enginee...
2 篇 mayflower gmbh m...
2 篇 department of co...
2 篇 institute of com...
2 篇 institute for pr...
2 篇 program structur...
2 篇 corporate resear...
2 篇 department of co...
1 篇 computer science...
1 篇 institute of pro...
1 篇 institute for in...
1 篇 chair for public...

作者

9 篇 walter f. tichy
7 篇 tichy walter f.
7 篇 böhm klemens
7 篇 klemens böhm
6 篇 weigelt sebastia...
5 篇 ralf reussner
4 篇 tobias hey
4 篇 reussner ralf
4 篇 hütter christian
4 篇 klemens bohm
4 篇 christian hütter
4 篇 sebastian weigel...
3 篇 wilhelm hasselbr...
3 篇 vanessa steurer
3 篇 birgit vogel-heu...
3 篇 szabó zoltán
3 篇 klein michael
3 篇 kalinke florian
2 篇 piotr rygielski
2 篇 christian von de...

语言

86 篇 英文
1 篇 其他

检索条件"机构=Institute of Program Structures & Data Organization"

共 87 条记录，以下是1-10 订阅

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

详细简洁

排序：

Cooperation through reciprocity in multiagent systems: An evolutionary analysis

Cooperation through reciprocity in multiagent systems: An ev...

引用

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011

作者： Hütter, Christian Böhm, Klemens Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9781618391018

The Service Game is a model for reciprocity in multiagent systems. Here, agents interact repeatedly by requesting and providing services. In contrast to existing models where players are matched randomly, players of the Service Game may choose with whom they play. The rationale behind provider selection is to choose a provider that is likely to perform a task as desired. We develop a formal model for provider selection in the Service Game. An evolutionary process based on a genetic algorithm allows us to incorporate notions of bounded rationality, learning, and adaptation into the analysis of the game. We conduct a series of experiments to study the evolution of strategies and the emergence of cooperation. We show that cooperation is more expensive with provider selection than with random matching. Further, populations consisting of discriminators and defectors form a bistable community. Categories and Subject Descriptors 1.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence-Multiagent systems General Terms Economics, Experimentation. Copyright © 2011, International Foundation for Autonomous Agents and Multiagent Systems.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Process verification and synthesis - The use case of commissioning processes in the automobile industry 22

Process verification and synthesis - The use case of commiss...

引用

22nd Doctoral Consortium, CAISE-DC 2015 at the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015

作者： Mrasek, Richard Institute for Program Structures and Data Organization Karlsruhe76131 Germany

In the automobile industry, commissioning process models describe the end-of-line manufacturing and testing of vehicles. Due to the increase of electronic components in modern vehicles, the process models tend to become more complex. At the same the number of different model series is constantly increasing leading to a larger amount of process models. The increase in process models and complexity lead to higher cost for the process design and decrease the quality of the individual process model. In this Ph.D. project we want to support process modeling. First, by developing a framework to test if a given process model fulfills all properties required (process verification). Second, we want to support the process design by approaches for a semiautomatic generation of process models (process synthesis). Third, for process verification and process synthesis one needs a specification of the allowed behavior of the process models.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Evolving cooperation through reciprocity using a centrality-based reputation system

Evolving cooperation through reciprocity using a centrality-...

引用

2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011

作者： Hütter, Christian Lorch, Raphael Böhm, Klemens Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany

ISBN: (纸本)9780769545134

Reciprocity is the basis for cooperation between agents in settings without payments. Research has shown that cooperation through reciprocity can emerge if reputation information is available. Various reputation mechanisms have been proposed, which are either not efficient or vulnerable to errors in perception. We propose a reputation mechanism based on 'centrality', which outperforms existing mechanisms in terms of efficiency and robustness. To evaluate our approach, we first conduct numerical simulations where we analyze different centrality measures. We then use the 'winning' measure in a behavioral experiment to evaluate its effectiveness with real users. Our results are that distance-based centrality measures are most suitable for multi-agent systems. Furthermore, humans adopt strategies based on centrality for sending requests, but not for processing them. © 2011 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

At your command! An empirical study on how laypersons teach robots new functions 14

At your command! An empirical study on how laypersons teach ...

引用

14th IEEE International Conference on Semantic Computing, ICSC 2020

作者： Weigelt, Sebastian Steurer, Vanessa Tichy, Walter F. Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Karlsruhe Germany

ISBN: (纸本)9781728163321

Even though intelligent systems such as Siri or Google Assistant are enjoyable (and useful) dialog partners, users can only access predefined functionality. Enabling end-users to extend the functionality of intelligent systems will be the next big thing. To promote research in this area we carried out an empirical study on how laypersons teach robots new functions by means of natural language instructions. The result is a labeled corpus consisting of 3168 submissions given by 870 subjects. The analysis of the dataset revealed that many participants used certain wordings to express their wish to teach new functionality;two corresponding trigrams are among the most frequent. On the contrary, more than one third (37%) did not verbalize the teaching intent at all. We labeled the semantic constituents in the utterances: declaration (including the name of the function) and intermediate steps. © 2020 institute of Electrical and Electronics Engineers Inc.. All rights reserved.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Context model acquisition from spoken utterances 29

Context model acquisition from spoken utterances

引用

29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017

作者： Weigelt, Sebastian Hey, Tobias Tichy, Walter F. Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)1891706411

Current systems with spoken language interfaces do not leverage contextual information. Therefore, they struggle with understanding speakers' intentions. We propose a system that creates a context model from user utterances to overcome this lack of information. It comprises eight types of contextual information organized in three layers: individual, conceptual, and hierarchical. We have implemented our approach as a part of the project PARSE. It aims at enabling laypersons to construct simple programs by dialog. Our implementation incrementally generates context including occurring entities and actions as well as their conceptualizations, state transitions, and other types of contextual information. Its analyses are knowledge- or rulebased (depending on the context type), but we make use of many well-known probabilistic NLP techniques. In a user study we have shown the feasibility of our approach, achieving F1 scores from 72% up to 98% depending on the type of contextual information. The context model enables us to resolve complex identity relations. However, quantifying this effect is subject to future work. Likewise, we plan to investigate whether our context model is useful for other language understanding tasks, e.g., anaphora resolution, topic analysis, or correction of automatic speech recognition errors.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems

Architecture-driven reduction of specification overhead for ...

引用

2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017

作者： Yurchenko, Kateryna Behr, Moritz Klare, Heiko Kramer, Max Reussner, Ralf Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany

Code verification techniques can be used to guarantee that some of the information processed in software systems remains confidential. For this, allowed information flows have to be specified for the system under analysis. Reducing the specification overhead could render code verification feasible where verification was considered too complex or costly so far. In this paper, we introduce a model-driven approach to reduce the overhead for creating and maintaining such specifications. Independent of the verification input format, developers can specify confidentiality for component-based architecture models, which are kept consistent with object-oriented code. They are supported in adapting the specifications to evolving systems in order to detect information leaks with less e ort and in earlier development stages.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

The architecture of a secure business-process-management system in service-oriented environments

The architecture of a secure business-process-management sys...

引用

9th European Conference on Web Services, ECOWS 2011

作者： Müller, Jens Böhm, Klemens Karlsruhe Institute of Technology Institute for Program Structures and Data Organization 76131 Karlsruhe Germany

ISBN: (纸本)9780769545363

Business-process-management (BPM) systems are increasingly used in service-oriented architectures (SOA), coordinating activities of web services and of human actors. The openness and flexibility of SOA causes new challenges regarding security of business processes. This is because they have to deal with unexpected situations at run time. Respective solutions must be inherent to a BPM system (BPMS). Process implementers must explicitly model different security aspects of business processes, and the BPMS must combine them with run-time context to enforce security. However, existing BPMS do not address security issues in a way that is sufficiently broad. Thus, extensions are necessary, and they should integrate existing technology. The core contribution of this paper is to propose how to extend the WfMC reference architecture for BPMS to accomplish this, having identified different design alternatives. The resulting architecture is generic and integrates with existing SOA technologies like federated identity management. It is modular, making adaptations relatively easy. This has been hard to achieve because security aspects concern the entire system. Finally, our architecture can be used to implement the various business process security modelling approaches that have been presented in the literature. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Context Model Acquisition from Spoken Utterances

Context Model Acquisition from Spoken Utterances

引用

作者： Weigelt, Sebastian Hey, Tobias Tichy, Walter F. Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe76131 Germany

Current systems with spoken language interfaces do not leverage contextual information. Therefore, they struggle with understanding speakers' intentions. We propose a system that creates a context model from user utterances to overcome this lack of information. It comprises eight types of contextual information organized in three layers: individual, conceptual, and hierarchical. We have implemented our approach as a part of the project PARSE. It aims at enabling laypersons to construct simple programs by dialog. Our implementation incrementally generates context including occurring entities and actions as well as their conceptualizations, state transitions, and other types of contextual information. Its analyses are knowledge- or rule-based (depending on the context type), but we make use of many well-known probabilistic NLP techniques. In a user study we have shown the feasibility of our approach, achieving F1 scores from 72% up to 98% depending on the type of contextual information. The context model enables us to resolve complex identity relations. However, quantifying this effect is subject to future work. Likewise, we plan to investigate whether our context model is useful for other language understanding tasks, e.g. anaphora resolution, topic analysis, or correction of automatic speech recognition errors. © 2017 World Scientific Publishing Company.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic wrapper generation and adaption: Living with heterogeneity in a market environment 4

Semi-automatic wrapper generation and adaption: Living with ...

引用

4th International Conference on Enterprise Information Systems, ICEIS 2002

作者： Christoffel, Michael Schmitt, Bethina Schneider, Jürgen Institute for Program Structures and Data Organization Universität Karlsruhe Karlsruhe Germany

ISBN: (纸本)9729805067

The success of the Internet as a medium for the supply and commerce of various kinds of goods and services leads to a fast growing number of autonomous and heterogeneous providers that offer and sell goods and services electronically. The new market structures have already entered all kinds of markets. Approaches for market infrastructures usually try to cope with the heterogeneity of the providers by special wrapper components, which translate between the native protocols of the providers and the protocol of the market infrastructure. Enforcing a special interface to the provider limits their independence. Moreover, requirements such as a direct access to the internal business logic and databases of the providers or fix templates for internal data structures are not suitable to establish a real open electronic market. A solution is the limitation of the access to the existing Web interface of the provider. This solution keeps the independence of the providers without burdening them additional work. However, for efficiency reasons, it keeps necessary to tailor a wrapper for each provider. What comes more, each change in the provider or its Web representation forces the modification of the existing wrapper or even the development of a new wrapper. In this paper, we present an approach for a wrapper for complex Web interfaces, which can easily be adapted to any provider just by adding a source description file. A tool allows the construction and modification of source descriptions without expert knowledge. Common changes in the Web representation can be detected and comprehended automatically. The presented approach has been applied to the market of scientific literature.

关键词： Open markets Provider integration Web interfaces Wrapper generation

来源：评论

学校读者我要写书评

暂无评论

Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL

Optimizing code generation from SSA form: A comparison betwe...

引用

Proceedings of the Fourth International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2005)

作者： Blech, Jan Olaf Glesner, Sabine Leitner, Johannes Mülling, Steffen Institute for Program Structures and Data Organization University of Karlsruhe 76128 Karlsruhe Germany

Correctness of compilers is a vital precondition for the correctness of the software translated by them. In this paper, we present two approaches for the formalization of static single assignment (SSA) form together with two corresponding formal proofs in the Isabelle/HOL system, each showing the correctness of code generation. Our comparison between the two proofs shows that it is very important to find adequate formalizations in formal proofs since they can simplify the verification task considerably. Our formal correctness proofs do not only verify the correctness of a certain class of code generation algorithms but also give us sufficient, easily checkable correctness criteria characterizing correct compilation results obtained from implementations (compilers) of these algorithms. These correctness criteria can be used in a compiler result checker. © 2005 Elsevier B.V. All rights reserved.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：