Sciweavers

578 search results - page 35 / 116
» Making PRIME usable
Sort
View
IWC
2006
98views more  IWC 2006»
13 years 7 months ago
Flexible tool support for accessibility evaluation
The increasing need to check Web site accessibility has stimulated interest in tools to aid the various activities involved. While some tools for this purpose already exist, we be...
Barbara Leporini, Fabio Paternò, Antonio Sc...
PUC
2002
90views more  PUC 2002»
13 years 7 months ago
Data Structures in the Design of Interfaces
Computer science algorithms can be used to improve user interfaces. Using data structures as a source of design ideas, a new interface was constructed for a cellular telephone han...
Gary Marsden, Harold W. Thimbleby, Matt Jones, Pau...
RE
2002
Springer
13 years 7 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
CHI
2003
ACM
14 years 8 months ago
The digital set-top box as a virtual channel provider
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
Konstantinos Chorianopoulos
STOC
2009
ACM
224views Algorithms» more  STOC 2009»
14 years 8 months ago
3-query locally decodable codes of subexponential length
Locally Decodable Codes (LDC) allow one to decode any particular symbol of the input message by making a constant number of queries to a codeword, even if a constant fraction of t...
Klim Efremenko