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

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Lybecait, Michael Kopetzki, Dawid Zweihoff, Philip Fuhge, Annika Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

We present a tutorial introduction to the usage of Cinco, our framework for the generation of graphical development environments, highlighting two recent additions: the possibility to bringing any Cinco-based graphical modeling language into the web, and a graphical editor for meta modeling. All the discussed features are illustrated step by step along the development and evolution of the WebStory, a simple education-oriented modeling language for adventure games. © Springer Nature Switzerland AG 2018.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Design for ‘X’ through model transformation 8th

Design for ‘X’ through model transformation

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Lybecait, Michael Kopetzki, Dawid Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany

ISBN: (纸本)9783030034177

In this paper we sketch a transformation-oriented framework for establishing system characteristics like model-checkability, learnability, or performance. Backbone of our framework is Cinco, our meta tooling suite for generating DSL-specific development environments on the basis of specifications in terms of metamodels. Cinco is used here to specify the considered source and target languages, as well as the transformation language that allows one to transform source systems/models into semantically equivalent, X-conform target systems. In this paper, we focus on illustrating the power of domain-specific transformation languages by presenting a multi-level transformation pattern that allows one to elegantly capture refinement and aggregation aspects in a rule-based fashion. All this is explained along a number of examples. © Springer Nature Switzerland AG 2018.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Dialog-Based Meaning Derivation Service for Technical Language Domains

Dialog-Based Meaning Derivation Service for Technical Langua...

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany

In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluation, due to language limits on the system, it could interpret only 59 % of user input correctly. In this paper, we provide an approach on the Dialog-based Meaning Derivation Service (DMDS). In case, user input does not match to the system knowledge, DMDS serves various word networks to find relevant synonyms as candidates for the unknown word. DMDS then tries to verify these candidates to the given knowledge base. Finally, matched candidates are presented to the end user by the dialog system for confirmation of a contextual match. The meaning is learned after the user confirmation and is mapped to the given functionality, and can be used afterwards. Therefore, the model developed in this work can be categorized as supervised learning. Finally, both the performance and the quality recorded by input from a user study were examined. However, DMDS improves the correct interpretation of the system from 59 % to 82 %. Our focus is to improve the interaction between humans and machines and enable the end user to instruct programmable devices, without having to learn a programming language.

关键词： Semantics Vocabulary Knowledge based systems Natural languages Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

DSLs for decision services: A tutorial introduction to language-driven engineering 8th

DSLs for decision services: A tutorial introduction to langu...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Gossen, Frederik Margaria, Tiziana Murtovi, Alnis Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany CSIS University of Limerick Limerick Ireland

ISBN: (纸本)9783030034177

Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (DSLs) tailored to match the stakeholders’ mindsets. The interplay between the involved DSLs is realized in a service-oriented fashion, with corresponding Mindset-Supporting Integrated Development Environments (mIDEs). This organization eases product line and system evolution, because one can introduce and exchange entire DSLs as if they were services. Using as example a smart email classification system that highlights important emails in the inbox, we model its decision procedure in a tailored graphical domain-specific language based on Binary Decision Diagrams. BDDs are a compact form of the popular decision trees and thus a mindset natural to many application experts. We then evolve this language and its mIDE to meet the new users’ wish to model some uncertainty in the classification. To evolve the language, we first manually adapt its metamodel and code generator. Subsequently we show, how this step can be automated by refining the BDD DSL with a dedicated DSL for defining algebraic structures. As this exchange happens in a service-oriented fashion, it does not impair the optimization potential and nicely follows the successive refinement of the users’ mindset. © Springer Nature Switzerland AG 2018.

关键词： Binary decision diagrams

来源：评论

学校读者我要写书评

暂无评论

Real-Time Gait Reconstruction For Virtual Reality Using a Single Sensor

Real-Time Gait Reconstruction For Virtual Reality Using a Si...

引用

IEEE International Symposium on Mixed and Augmented Reality Workshops (ISMARW)

作者： Tobias Feigl Lisa Gruner Christopher Mutschler Daniel Roth Fraunhofer Institute of Integrated Circuits (IIS) Nürnberg Programming Systems Group Friedrich-Alexander University (FAU) Erlangen-Nürnberg Ludwig-MaximiliansUniversity (LMU) Technical University Munich (TUM) Munich Chair for Computer Aided Medical Procedures and Augmented Reality Technical University Munich (TUM)

ISBN: (数字)9781728176758

ISBN: (纸本)9781728176765

Embodying users through avatars based on motion tracking and reconstruction is an ongoing challenge for VR application developers. High quality VR systems use full-body tracking or inverse kinematics to reconstruct the motion of the lower extremities and control the avatar animation. Mobile systems are limited to the motion sensing of head-mounted displays (HMDs) and typically cannot offer *** propose an approach to reconstruct gait motions from a single head-mounted accelerometer. We train our models to map head motions to corresponding ground truth gait phases. To reconstruct leg motion, the models predict gait phases to trigger equivalent synthetic animations. We designed four models: a threshold-based, a correlation-based, a Support Vector Machine (SVM) -based and a bidirectional long-term short-term memory (BLSTM) -based model. Our experiments show that, while the BLSTM approach is the most accurate, only the correlation approach runs on a mobile VR system in real time with sufficient accuracy. Our user study with 21 test subjects examined the effects of our approach on simulator sickness and showed significantly less negative effects on disorientation.

关键词： Support vector machines Solid modeling Tracking Avatars Animation Real-time systems Delays

来源：评论

学校读者我要写书评

暂无评论

Correction to: Comparison of lipidome profiles of Caenorhabditis elegans-results from an inter-laboratory ring trial

引用

Metabolomics : Official journal of the Metabolomic Society 2021年第3期17卷 33页

作者： Britta Spanier Anne Laurençon Anna Weiser Nathalie Pujol Shizue Omi Aiko Barsch Ansgar Korf Sven W Meyer Jonathan J Ewbank Francesca Palladino Steve Garvis Hugo Aguilaniu Michael Witting Chair of Metabolic Programming Technische Universität München Gregor-Mendel-Straße 2 85354 Freising Germany. UMR5242 Ecole Normale Supérieure de Lyon Centre National de la Recherche Scientifique Université de Lyon Lyon France. Turing Center for Living Systems Aix Marseille Univ CNRS INSERM CIML Marseille France. Bruker Daltonics Fahrenheitstr. 4 28359 Bremen Germany. Laboratoire de Biologie Moléculaire de la Cellule UMR5239 CNRS/ENS Lyon/UCBL/HCL Ecole Normale Supérieure de Lyon 46 allée d'Italie 69364 Lyon cedex 07 France. Instituto Serrapilheira Rua Dias Ferreira 78 Leblon Rio de Janeiro Brazil. Research Unit Analytical BioGeoChemistry Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Metabolomics and Proteomics Core Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Chair of Analytical Food Chemistry Technische Universität München Alte Akademie 10 85354 Freising-Weihenstephan Germany. michael.witting@helmholtz-muenchen.de.

A correction to this paper has been published: https://***/10.1007/s11306-021-01784-5

关键词：

来源：评论

学校读者我要写书评

暂无评论

Initial Implementation of Natural Language Turn-Based Dialog System

引用

Procedia Computer Science 2016年 84卷 49-56页

作者： Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany

Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need interactive assistance. JustLingo 1 allows spreadsheet calculations in ordinary, written English. Furthermore, users can extend the system functionality by explaining of the calculations to the prototype. The keyword-based system analyzes the input using natural language processing techniques and translates it into Excel formulas. It asks for missing information such as operands and target cells and provides alternatives if there are ambiguities. It also handles references to previous inputs, allowing step-by-step construction of calculations. An evaluation shows that it properly resolves 82% of references and correctly interprets 79,5% of overall user input. Although far from perfect, the prototype demonstrates that computers may soon begin to take on simple, limited-domain programming tasks based on natural-language input.

关键词： Natural Language Processing Natural Language Interfaces Dialog systems End-User programming Spreadsheet

来源：评论

学校读者我要写书评

暂无评论

Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments

Bayesian recognition of human identities from continuous vis...

引用

International Conference on Design and Technology of Integrated systems in Nanoscale Era (DTIS)

作者： Frederik Gossen Chair for Programming Systems TU Dortmund University

When using today's admission control systems some kind of interaction is generally required. That is because the system needs something to check a person's identity before it allows access. Often the system will ask for a pin or a password. For many people these interactions are a problem as they might be unable interact with the system in the required way due to impairments. This can be caused by a disease such as Parkinson's or Alzheimer's or they might be unable to use their hands for other reasons. In hospitals, retirement homes or assisted living communities many people would benefit from a contactless admission control system. We propose a system that recognizes human identities from continuous geometrical features that were estimated using the Kinect 2. Those include the distance between the eyes and the estimated height of a person. A Bayesian Classifier for continuous features is used to predict people's identities. The preliminary recognition results suggest that the proposed geometrical features can contribute to reliable admission control. This work was supported by SysTeam GmbH Dortmund, Germany.

关键词： Nose Mouth Bayes methods Feature extraction Admission control Face Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

On the Use of XMDD in Software Development Education

On the Use of XMDD in Software Development Education

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Anna-Lena Lamprecht Tiziana Margaria Johannes Neubauer University of Potsdam Institute of Computer Science Potsdam Germany University of Limerick and Lero The Irish Software Research Centre Limerick Ireland TU Dortmund Chair for Programming Systems Dortmund Germany

Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without putting the focus on the technical part of coding. eXtreme Model Driven Design (XMDD) is a paradigm that focuses on the What (solving problems), rather than on the How (the technical skills of writing code). In this way it renders application design and implementation less daunting, thus accessible and more appealing to people that are either less technically skilled, or simply not interested at all in learning usual programming. In this paper we report on our experiences with the use of the jABC process modeling framework for teaching service-based software development in an XMDD fashion to students of different fields and on different levels of education.

关键词： Games Software Process modeling Education programming profession

来源：评论

学校读者我要写书评

暂无评论

A constraint-based variability modeling framework

引用

International Journal on Software Tools for Technology Transfer 2012年第5期14卷 511-530页

作者： Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany

Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. © 2012 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：