768 search results - page 120 / 154 » Specification-Based Testing of User Interfaces |
INFOVIS
1997
IEEE
14 years 2 months ago
1997
IEEE
Metrics for information visualization will help designers create and evaluate 3D information visualizations. Based on experience from 60+ 3D information visualizations, the metric...
ASSETS
2007
ACM
14 years 1 months ago
2007
ACM
Word prediction can be used to enhance the communication rate of people with disabilities who use Augmentative and Alternative Communication (AAC) devices. We use statistical meth...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
SIGIR
1993
ACM
14 years 1 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...