Sciweavers

7952 search results - page 388 / 1591
» Methods for Measuring Usability
Sort
View
WWW
2005
ACM
16 years 5 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
WWW
2001
ACM
16 years 5 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...
CHI
2009
ACM
16 years 5 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...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 5 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 5 months 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...