Sciweavers

903 search results - page 146 / 181
» Usability inspection methods
Sort
View
93
Voted
WWW
2001
ACM
16 years 1 months ago
Support concepts for Web navigation: a cognitive engineering approach
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
Mark A. Neerincx, Jasper Lindenberg, Steven Pember...
82
Voted
CHI
2009
ACM
16 years 1 months ago
An intuitive model of perceptual grouping for HCI design
Understanding and exploiting the abilities of the human visual system is an important part of the design of usable user interfaces and information visualizations. Good design enab...
Ruth Rosenholtz, Nathaniel R. Twarog, Nadja Schink...
102
Voted
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 1 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
KDD
2008
ACM
176views Data Mining» more  KDD 2008»
16 years 27 days ago
Context-aware query suggestion by mining click-through and session data
Query suggestion plays an important role in improving the usability of search engines. Although some recently proposed methods can make meaningful query suggestions by mining quer...
Huanhuan Cao, Daxin Jiang, Jian Pei, Qi He, Zhen L...
99
Voted
CHI
2008
ACM
16 years 26 days ago
Acceptance of augmented reality instructions in a real work setting
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
Björn J. E. Johansson, Susanna Nilsson