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

IEEE/ACM International Conference on Automated Software Engineering - Workshops (ASE Workshops)

作者： Esra’a Alshabeeb Haifa Alshammare Noor Alakkas Mohammad Alshayeb Information and Computer Science Department KFUPM Department of Computer Science Imam Abdulrahman Bin Faisal University Dhahran Saudi Arabia Information and Computer Science Department KFUPM Department of Computer Science Digital Technical College for Girls Technical and Vocational Training Corporation Dhahran Saudi Arabia Information and Computer Science Department KFUPM Department of Computer Science Department of Computer Science Imam Abdulrahman Bin Faisal University Dhahran Saudi Arabia Information and Computer Science Department KFUPM Department of Computer Science Interdisciplinary Research Center for Intelligent Secure Systems Dhahran Saudi Arabia

ISBN: (数字)9798400712494

ISBN: (纸本)9798331523169

Despite the importance of adopting SPM tools for supporting agile practices and the significance of usability as an essential component of human factors engineering, their usability evaluation was neglected in the literature. This study aims to identify the common usability issues in SPM tools and propose suggestions for enhancing their usability. Two of the most widely used SPM tools were selected as a case study for this study, namely Jira and Pivotal Tracker. Three independent evaluators participated in the usability evaluation, using two human factors techniques: Heuristic Evaluation and Cognitive Walkthrough. The results revealed a total frequency of 123 issues in both tools. Both tools had a nearly equal frequency of issues in each evaluation method but different severity levels. Learnability issues were the issues that were raised the most in the evaluation for both tools. Most of the issues had minor to major severity, with the following percentages of total issues: 41.33% and 46.67%, respectively, while only 13.33% were catastrophic. Considering the proposed solutions by designers and developers for this type of tool can help enhance the design of SPM tools, leading to increased user satisfaction and tool *** CONCEPTS• Human-centered computing → Heuristic evaluations; Walk-through evaluations; Usability testing.

关键词： Human computer interaction Ergonomics Conferences Project management Human factors Software Usability Testing Software engineering

来源：评论

学校读者我要写书评

暂无评论

Measurement of a Transparent Object by Using an Automated Talbot Interferometer

引用

Optical Review 1994年第2期1卷 273-275页

作者： Teshima, Nobuaki Asano, Akira Yokozeki, Shunsuke Kyushu Institute of Technology Department of Mechanical System Engineering Faculty of Computer Science and Systems Engineering Iizuka Fukuoka 820 680-4 Kawazu Japan Department of Electrical Engineering and Computer Science Osaka Prefectural College of Technology Neyagawa Osaka 572 26-12 Saiwai-cho Japan Department of Intelligent Mechanics Faculty of Biology-Oriented Science and Technology Kinki University Uchita-cho Naga-gun Wakayama 646-64 930 Nishimitani Japan

It is reported that the first partial derivative of the phase distribution for a transparent object can be measured automatically by a personal computer with an image processor. The moire pattern is formed by superimposing the Fourier image distorted by the transparent object on the master grating. But if only the moire patterns are observed, it is not shown if the fringe order numbers increase or decrease. The fringe scanning method is presented to overcome the fringe order numbers. The four-step method is used to calculate the first partial derivative. By a simple experiment, the first partial derivative can be shown in the three dimensional graphics. © 1994, Japan Society of Applied Physics. All rights reserved.

关键词： automated Talbot interferometer contour moire fringe four-step method fringe scanning moire fringe phase unwrapping Talbot effect

来源：评论

学校读者我要写书评

暂无评论

Temporal planning with preferences and time-dependent continuous costs

Temporal planning with preferences and time-dependent contin...

引用

22nd International Conference on Automated Planning and Scheduling, ICAPS 2012

作者： Benton, J. Coles, Amanda Coles, Andrew Dept. of Computer Science and Eng. Arizona State University Tempe AZ 85287 United States Department of Informatics King's College London London WC2R 2LS United Kingdom

ISBN: (纸本)9781577355625

Temporal planning methods usually focus on the objective of minimizing makespan. Unfortunately, this misses a large class of planning problems where it is important to consider a wider variety of temporal and non-temporal preferences, making makespan a lower-order concern. In this paper we consider modeling and reasoning with plan quality metrics that are not directly correlated with plan makespan, building on the planner POPF. We begin with the preferences defined in PDDL3, and present a mixed integer programming encoding to manage the the interaction between the hard temporal constraints for plan steps, and soft temporal constraints for preferences. To widen the support of metrics that can be expressed directly in PDDL, we then discuss an extension to soft-deadlines with continuous cost functions, avoiding the need to approximate these with several PDDL3 discrete-cost preferences. We demonstrate the success of our new planner on the benchmark temporal planning problems with preferences, showing that it is the state-of-the-art for such problems. We then analyze the benefits of reasoning with continuous (versus discretized) models of domains with continuous cost functions, showing the improvement in solution quality afforded through making the continuous cost function directly available to the planner. Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Advanced features of hierarchical component models

Advanced features of hierarchical component models

引用

10th International Conference on Information System Implementation and Modeling, ISIM 2007

作者： Hnětynka, Petr Bures, Tomas Performance Engineering Lab. School of Computer Science and Informatics University College Dublin Ireland Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranskć náměstí 25 Prague 1 11800 Czech Republic

Using software components has become a widely used development technique for building large enterprise systems. However in practice, component applications are still primarily built using simple component models and advanced component models offering valuable features like component nesting, multiple communication styles, behavior validation, etc. are omitted (by industry in particular). Based on our experience, such an omitting is mainly caused due to usually unbalanced semantics of these advanced features. In this paper, we present a "next-generation" component model SOFA 2.0, which in particular aims at a proper support of such advanced features.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Goods Shipment Application Through Bids

Goods Shipment Application Through Bids

引用

International Conference on Advanced Computing and Communication systems (ICACCS)

作者： A. Mahalakshmi E. Saranya B. Gomathi J. Ruby Elizabeth M. Abinaya Department of Computer Science and Engineering Sri Eshwar College of Engineering Coimbatore India Department of Computer Science and Business Systems Nehru Institute of Engineering and Technology Coimbatore India

ISBN: (数字)9798350384369

ISBN: (纸本)9798350384376

The practice of getting competitive quotes from carriers to convey goods is known as shipment bidding. Currently, open bidding is handled manually, and prospective bidders are frequently disqualified from taking part in the process. The system that is being proposed is designed to record every bidding procedure and make it cumulative in terms of monetary compensation. Real-time shipping tracking, feedback mechanisms, and bid evaluation tools are just a few of the features that the system offers. Shippers choose the best transportation company after weighing bids according to criteria including cost, level of service, and experience. In order to provide safe and effective financial operations, the proposed system also supports the payment and invoicing processes. Additionally, this application has analytical tools to produce reports and insights that help carriers cut costs.

关键词： Costs Communication systems Transportation Companies Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Psychometric tests in the field of drawing based in timing measurements

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent systems and Computing 2014年 292卷 101-108页

作者： Lopez, C. Lopez, F. Castillo, L.F. Bedia, M. Gomez, T. Aguilera, M. Department of Plastic and Physical Expression University of Zaragoza Spain Department of Computer Science University of Zaragoza Spain Department of Engineering Systems National University of Colombia Colombia Department of Systems and Informatics University of Caldas Colombia

In the Art Education studies, one of the most interesting trends - in terms of its theoretical foundations- is the phenomena of measuring aesthetic experiences [1],[2]. However, traditionally, the teaching of art has been focused into the technical dimension of the drawings (proportionality, composition, etc.) or in cultural aspects (symbolic role, social criticism, etc.) but the analysis of aesthetic experiences have not acquired such an important status to be scientific analyzed and included in a pedagogical domain. In this paper we propose that, through metrics able to detect the 'immersion" or "sensitivity" of an artist drawing, it would be possible to get methodological tools capable of measuring aesthetic experiences. In order to explore our hypothesis, we have analyzed the work of students of art in several experiments and we have recorded the traces of the their drawings. The traces have been evaluated and we have tested if fractal timing is found (fractal timing is a ubiquitous clue that indicates that the among the components of a cognitive system exist a coupling). The results of the experiments seem to provide a way to improve some aspects in the daily practice of art teaching and a new way to describe psicometrical parameters. © Springer International Publishing Switzerland 2014.

关键词： Fractals

来源：评论

学校读者我要写书评

暂无评论

CASL: The common algebraic specification language

CASL: The common algebraic specification language

引用

作者： Astesiano, Egidio Bidoit, Michel Kirchner, Hélène Krieg-Brückner, Bernd Mosses, Peter D. Sannella, Donald Tarlecki, Andrzej Dipartimento di Informatica e Scienze dell'Informazione Universitá di Genova Italy LSV CNRS École Normale Supérieure de Cachan France LORIA CNRS Nancy France Department of Computer Science Bremen Institute of Safe Systems Universität Bremen Germany BRICS Department of Computer Science University of Aarhus Denmark Laboratory for Foundations of Computer Science University of Edinburgh United Kingdom Institute of Informatics Warsaw University Poland Institute of Computer Science PAS Warsaw Poland FB3 Mathematik und Informatik Bremer Inst. fur Sichere Systeme Universitat Bremen Postfach 330 440 D-28334 Bremen Germany

The Common Algebraic Specification Language (CASL) is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by COFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural specifications. CASL should facilitate interoperability of many existing algebraic prototyping and verification tools. This paper gives an overview of the CASL design. The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of CASL are briefly explained and illustrated - the reader is referred to the CASL Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous. © 2002 Published by Elsevier science B.V.

关键词： Software prototyping

来源：评论

学校读者我要写书评

暂无评论

Modeling dynamic missingness of implicit feedback for recommendation 18

Modeling dynamic missingness of implicit feedback for recomm...

引用

Proceedings of the 32nd International Conference on Neural Information Processing systems

作者： Menghan Wang Mingming Gong Xiaolin Zheng Kun Zhang College of Computer Science Zhejiang University Department of Biomedical Informatics University of Pittsburgh Department of Philosophy Carnegie Mellon University

Implicit feedback is widely used in collaborative filtering methods for recommendation. It is well known that implicit feedback contains a large number of values that are missing not at random (MNAR); and the missing data is a mixture of negative and unknown feedback, making it difficult to learn users' negative preferences. Recent studies modeled exposure, a latent missingness variable which indicates whether an item is exposed to a user, to give each missing entry a confidence of being negative feedback. However, these studies use static models and ignore the information in temporal dependencies among items, which seems to be an essential underlying factor to subsequent missingness. To model and exploit the dynamics of missingness, we propose a latent variable named "user intent" to govern the temporal changes of item missingness, and a hidden Markov model to represent such a process. The resulting framework captures the dynamic item missingness and incorporate it into matrix factorization (MF) for recommendation. We also explore two types of constraints to achieve a more compact and interpretable representation of user intents. Experiments on real-world datasets demonstrate the superiority of our method against state-of-the-art recommender systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Can First-year Students Program Yet? A Study Revisited

Can First-year Students Program Yet? A Study Revisited

引用

9th Annual International Computing Education Research Conference, ICER 2013

作者： McCartney, Robert Boustedt, Jonas Eckerdal, Anna Sanders, Kate Zander, Carol Department of Computer Science and Engineering University of Connecticut Storrs CT United States Faculty of Engineering and Sustainable Development University of Gávie Gávie Sweden Department of Information Technology Uppsala University Uppsala Sweden Mathematics and Computer Science Rhode Island College Providence Rl United States Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781450322430

The McCracken et al. working group paper is often cited for the proposition that students can't program. In that study, students from four different institutions were each assigned to implement one of three versions of a calculator. More than half of the students failed to produce a program that compiled and executed in the time assigned. Lost in this discussion, however, is the fact that the original paper had the goal of evaluating its instrument, as well as the students. We examine and adjust their instrument, and present the results of the revised study. With a modified instrument, we have obtained significantly improved results. Copyright © 2013 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Collaboration visualization on large dataset for protein-protein interaction network

Collaboration visualization on large dataset for protein-pro...

引用

IEEE Symposium on Computational Intelligence and Bioinformatics and Computational Biology (CIBCB)

作者： Hui Li Chunmei Liu Xumin Liu Department of Systems and Computer Science Howard University College of Medicine Washington DC DC USA Department of Computer Science Rochester Institute of Technology Rochester NY USA

The accumulation of huge amount of biology data and their heterogeneity has become a bottleneck in the analysis of protein-protein interaction (PPI) networks, especially in the visualization of PPI networks. Because the format of the data generated from different experimental groups is diverse, and the databases for the storage and management of the data are different, network visualization of the heterogeneous data by integrating different derived data is challenging and is a key to comprehensively understanding the mechanism of biology system. To visualize the interactions of proteins, we first utilize the robot crawl technique to dynamically integrate the information of protein-protein interactions from all the related public databases such as Protein Interaction Database (PID), Human Protein Reference Database (HPRD) and Reactome. Second, we use a graph algorithm to partition the complex network into different sub-networks to discover the `Hub' proteins in the visualization protein-protein networks. Finally, we develop a protocol for the collaboration of different researchers based on the visualization of the PPI networks.

关键词： Proteins Three dimensional displays Data visualization Collaboration Databases Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：