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 intelligen...
详细信息
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 ...
详细信息
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.
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 anal...
详细信息
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.
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 t...
详细信息
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 mecha...
详细信息
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 chal...
详细信息
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 ...
详细信息
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from many individuals to obtain clear proble...
详细信息
作者:
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 beco...
详细信息
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.
暂无评论