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

11th IFIP TC 3 World Conference on Computers and Education, WCCE 2017

作者： Standl, Bernhard Wetzinger, Elisabeth Futschek, Gerald Institute of Software Technology and Interactive Systems TU Wien Vienna Austria

ISBN: (纸本)9783319743097

At the Faculty of Computer Science at the TU Wien, vienna, Austria, the studies of computer science (CS) face two issues in the first year: a gender gap and a high student dropout rate. In order to tackle these problems, the faculty has set up a project called START Informatics to analyse the status quo, to identify potential pitfalls, to take actions and to develop measures to improve the quality of the first year of CS studies. Therefore, we will first examine the current situation in teaching with a mixed methods approach comprising lecture observations, student and teacher interviews and a large-scale questionnaire for first year students. As a result, the objective of the project is to describe recommendations and measures to improve the learning and teaching experience with a focus on student retention and potential gender issues. © 2017, IFIP International Federation for Information Processing.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A multi-modal deep neural network approach to bird-song identification 18

A multi-modal deep neural network approach to bird-song iden...

引用

18th Working Notes of CLEF Conference and Labs of the Evaluation Forum, CLEF 2017

作者： Fazekas, Botond Schindler, Alexander Lidy, Thomas Rauber, Andreas Vienna University of Technology Institute of Software Technology and Interactive Systems Vienna Austria Austrian Institute of Technology Center for Digital Safety and Security Vienna Austria

We present a multi-modal Deep Neural Network (DNN) approach for bird song identification. The presented approach takes both audio samples and metadata as input. The audio is fed into a Convolutional Neural Network (CNN) using four convolutional layers. The additionally provided metadata is processed using fully connected layers. The flattened convolutional layers and the fully connected layer of the metadata are joined and fed into a fully connected layer. The resulting architecture achieved 2., 3. and 4. rank in the BirdCLEF2017 task in various training configurations.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Improving Model Inspection with Crowdsourcing 4

Improving Model Inspection with Crowdsourcing

引用

4th IEEE/ACM International Workshop on CrowdSourcing in software Engineering, CSI-SE 2017

作者： Winkler, Dietmar Sabou, Marta Petrovic, Sanja Carneiro, Gisele Kalinowski, Marcos Biffl, Stefan Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria Computing Institute Fluminense Federal University Niterói Brazil

ISBN: (纸本)9781538640418

Traditional software Inspection is a well-established approach to identify defects in software artifacts and models early and efficiently. However, insufficient method and tool support hinder efficient defect detection in large software models. Recent Human Computation and Crowdsourcing processes may help to overcome this limitation by splitting complex inspection artifacts into smaller parts including a better control over defect detection tasks and increasing the scalability of inspection tasks. Therefore, we introduce a Crowdsourcing-Based Inspection (CSI) process with tool support with focus on inspection teams and the quality of defect detection. We evaluate the CSI process in a feasibility study involving 63 inspectors using the CSI process and 12 inspectors using a traditional best-practice inspection process. The CSI process was found useful by the participants. Although the preliminary results of the study were promising, the CSI process should be further investigated with typical large software engineering models. © 2017 IEEE.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Investigating the influence of inspector learning styles on design inspections: Findings of a quasi-experiment 20

Investigating the influence of inspector learning styles on ...

引用

20th Ibero-American Conference on software Engineering, CIbSE 2017

作者： Carneiro, Gisele Laigner, Rodrigo Kalinowski, Marcos Winkler, Dietmar Biffl, Stefan Computing Institute Fluminense Federal University Niterói Brazil Institute of Software Technology and Interactive Systems Vienna University of Technology Austria

ISBN: (纸本)9789873806988

software inspections are an efficient mean to improve quality. Learning Styles (LS) have been used to detect an individual's preferences to acquire and process information according to different dimensions. For requirements inspections, inspection teams with different LSs showed more effective at detecting defects than teams with similar LS. The goal of this paper is to investigate the influence of inspector's LS on the effectiveness and efficiency of design inspections. We conducted a quasi-experiment using a subset of a real requirements document and corresponding design diagrams with seeded defects, characterizing each of the participants according to their LSs. We also implemented a script to combine inspectors into nominal inspection teams. We observed that, for design inspections, teams with similar LSs were more effective and efficient than teams with dissimilar LSs. Design inspections seem to be affected more by other factors, such as defect detection techniques, than from selecting inspectors based on their learning styles. However, replications are needed to reinforce our results.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Investigating model quality assurance with a distributed and scalable review process 20

Investigating model quality assurance with a distributed and...

引用

20th Ibero-American Conference on software Engineering, CIbSE 2017

作者： Winkler, Dietmar Sabou, Marta Petrovic, Sanja Carneiro, Gisele Kalinowski, Marcos Biffl, Stefan Institute of Software Technology and Interactive Systems Vienna University of Technology Austria Computing Institute Fluminense Federal University Niterói Brazil

ISBN: (纸本)9789873806988

Models play an important role in software and systems Engineering processes. Reviews are well-established methods for model quality assurance that support early and efficient defect detection. However, traditional document-based review processes have limitations with respect to the number of experts, resources, and the document size that can be applied. In this paper, we introduce a distributed and scalable review process for model quality assurance to (a) improve defect detection effectiveness and (b) to increase review artifact coverage. Therefore, we introduce the novel concept of Expected Model Elements (EMEs) as a key concept for defect detection. EMEs can be used to drive the review process. We adapt a best-practice review process to distinguish (a) between the identification of EMEs in the reference document and (b) the use of EMEs to detect defects in the model. We design and evaluate the adapted review process with a crowdsourcing tool in a feasibility study. The study results show the feasibility of the adapted review process. Further, the study showed that inspectors using the adapted review process achieved results for defect detection effectiveness, which are comparable to the performance of inspectors using a traditional inspection process, and better defect detection efficiency Although the study shows promising results of the novel inspection process, future investigations should consider larger and more diverse review artifacts and the effect of the limited scope of artifact coverage for an individual inspector.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Fixed budget pooling strategies based on fusion methods 17

Fixed budget pooling strategies based on fusion methods

引用

32nd Annual ACM Symposium on Applied Computing, SAC 2017

作者： Lipani, Aldo Lupu, Mihai Palotti, Joao Zuccon, Guido Hanbury, Allan Institute of Software Technology and Interactive Systems TU Wien Vienna Austria Faculty of Science and Technology Queensland University of Technology Brisbane Australia

ISBN: (纸本)9781450344869

The empirical nature of Information Retrieval (IR) mandates strong experimental practices. The Cranfield/TREC evaluation paradigm represents a keystone of such experimental practices. Within this paradigm, the generation of relevance judgments has been the subject of intense scientific investigation. This is because, on one hand, consistent, precise and numerous judgements are key to reduce evaluation uncertainty and test collection bias;on the other hand, however, relevance judgements are costly to collect. The selection of which documents to judge for relevance (known as pooling) has therefore great impact in IR evaluation. In this paper, we contribute a set of 8 novel pooling strategies based on retrieval fusion methods. We show that the choice of the pooling strategy has significant effects on the cost needed to obtain an unbiased test collection;we also identify the best performing pooling strategy according to three evaluation measure. © 2017 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

Building physical props for imagining future recommender systems 1

Building physical props for imagining future recommender sys...

引用

1st ACM Workshop on Theory-Informed User Modeling for Tailoring and Personalizing Interfaces, HUMANIZE 2017

作者： Knees, Peter Andersen, Kristina Institute of Software Technology and Interactive Systems Vienna University of Technology Austria School of Computer Science and Communication KTH Royal Institute of Technology Stockholm Sweden

ISBN: (纸本)9781450349055

We propose the use of physical objects and hypothetical mockups in the conceptual development of algorithms and system functionality. This extends approaches like participatory design beyond the design process of interfaces, but rather allows for imagination of future algorithm functionality and reveals desiderata of systems outside the boundaries of existing systems. We demonstrate this approach using the outcomes of a series of interviews with users in the creative domain, more specifically, music production experts. We show three exemplary props built from cardboard embodying ideas emerged from interview sessions and how these, in turn, inspire conversations on future recommender systems, sound search engines, and sound manipulation interfaces. © 2017 Copyright held by the owner/author(s).

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

An intelligent drum machine for electronic dance music production and performance

An intelligent drum machine for electronic dance music produ...

引用

International conference on New Interfaces for Musical Expression, NIME 2017

作者： Vogl, Richard Knees, Peter Institute of Software Technology & Interactive Systems Vienna University of Technology Austria Department of Computational Perception Johannes Kepler University Linz Austria

An important part of electronic dance music (EDM) is the so-called beat. It is defined by the drum track of the piece and is a style defining element. While producing EDM, creating the drum track tends to be delicate, yet labor intensive work. In this work we present a touch-interface-based prototype with the goal to simplify this task. The prototype aims at supporting musicians to create rhythmic patterns in the context of EDM production and live performances. Starting with a seed pattern which is provided by the user, a list of variations with varying degree of deviation from the seed pattern is generated. The interface provides simple ways to enter, edit, visualize and browse through the patterns. Variations are generated by means of an artificial neural network which is trained on a database of drum rhythm patterns extracted from a commercial drum loop library. To evaluate the user interface as well as the quality of the generated patterns a user study with experts in EDM production was conducted. It was found that participants responded positively to the user interface and the quality of the generated patterns. Furthermore, the experts consider the prototype helpful for both studio production situations and live performances. © 2017 Steering Committee of the International Conference on New Interfaces for Musical Expression. All rights reserved.

关键词： Stochastic models

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

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

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Generation of Simulation Models in MATLAB-Simulink Based on AutomationML Plant Description

引用

IFAC-PapersOnLine 2017年第1期50卷 7613-7620页

作者： Novák P. Ekaputra F.J. Biffl S. Institute of Software Technology and Interactive Systems Vienna University of Technology Vienna Austria Christian Doppler Laboratory for Model-Integrated Smart Production Business Informatics Group Vienna University of Technology Vienna Austria Czech Technical University in Prague Prague Czech Republic

Process simulations are useful test-beds for experiments and optimizations along the entire industrial plant life-cycle. Shifting testing and tuning of industrial plants and their automation systems from the real world to simulated environments is a part of a virtualization, which is one of the key movements in emerging areas of Industry 4.0 and factories of the future. Although simulations bring a large variety of benefits, they suffer from a time-consuming and error-prone design phase, which limits their use in industrial practice. This paper proposes a new design method called AML2SIM, which transforms the real plant description represented in AutomationML (AML) and generates a dynamic simulation model (SIM). The proposed method signifcantly improves the engineering and re-design of simulation models in terms of saving time and effort of experts as the models can be easily re-generated based on a given AutomationML plant model. Simulations are assembled from simulation blocks that are shared among various projects in simulation libraries, hence the method contributes to reuse of simulation artifacts. © 2017

关键词： Application of mechatronic principles Design methodologies Mechatronic systems Modeling Simulation Virtual environments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：