Results 11 to 20 of about 1,039,654 (155)
Refinement for user interface designs [PDF]
Formal Aspects of Computing, 2008 Abstract Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained ...
Bowen, Judy, Reeves, Steve
openaire +2 more sources
A reflective characterisation of occasional user [PDF]
, 2016 This work revisits established user classifications and aims to characterise a historically unspecified user category, the Occasional User (OU). Three user categories, novice, intermediate and expert, have dominated the work of user interface (UI ...
Carrillo, Antonio L. +3 more
core +3 more sources
Designing a Semantically Rich Visual Iinterface for Cultural Digital Libraries Using the UNESCO Multilingual Thesaurus [PDF]
, 2010 This paper reports on the design of a visual user interface for the UNESCO digital portal. The interface makes use of the UNESCO multilingual thesaurus to provide visualized views of terms and their relationships and the way in which spaces associated ...
Bieber, Mark +5 more
core
Evaluating a human-robot interface for exploration missions [PDF]
, 2010 The research reported in this paper concerns the design, implementation, and experimental evaluation of a Human-Robot Interface for stationary remote operators, implemented for a PC computer. The GUI design and functionality is described.
Puente Yusty, Paloma de la +2 more
core +2 more sources
Using formal models to design user interfaces a case study [PDF]
, 2007 The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such as reachability and completeness and, perhaps most importantly, can help ...
Bowen, Judy, Reeves, Steve
core +1 more source
Perancangan User Interface Sistem Informasi Penjadwalan Kapal Menggunakan Human Centered Design [PDF]
, 2023 The use of information technology can have a major impact in supporting various aspects of human needs and activities, one of which is in the sea transportation sector.
Fajrianur, Muhamad Bima
core
ACM SIGCHI Bulletin, 1995 This summary reports first results of the GMD project "User Interface Design Assistance (IDA)". The objective of this project is to develop computer based design aid tools for human factors based user interface design. The design aid tools are integrated in a user interface management system (UIMS) to support the designers during the development ...
openaire +3 more sources
Paired Comparisons-based Interactive Differential Evolution [PDF]
, 2009 We propose Interactive Differential Evolution (IDE) based on paired comparisons for reducing user fatigue and evaluate its convergence speed in comparison with Interactive Genetic Algorithms (IGA) and tournament IGA.
Pallez, Denis, Takagi, Hideyuki
core +3 more sources
Supporting shape reinterpretation with eye tracking [PDF]
, 2011 It has been argued that reinterpretation is an essential process in design generation and idea exploration. However, computational design tools, such as computer-aided design systems, offer poor support for shape reinterpretation, and as such are not ...
Garner, Steven +4 more
core
Interpretation at the controller's edge: designing graphical user interfaces for the digital publication of the excavations at Gabii (Italy) [PDF]
, 2016 This paper discusses the authors’ approach to designing an interface for the Gabii Project’s digital volumes that attempts to fuse elements of traditional synthetic publications and site reports with rich digital datasets.
Johnson, Tyler D., Opitz, Rachel S.
core +1 more source