37 search results - page 2 / 8 » Automatic Critiques of Interface Modes |
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
13 years 5 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
WWW
2008
ACM
14 years 6 months ago
2008
ACM
Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...
ENTCS
2007
13 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
NAACL
1994
13 years 6 months ago
1994
Much interest already exists in the electronics research community for developing and integrating speech technology to a variety of applications, ranging from voice-activated syst...
ERCIMDL
2007
Springer
13 years 11 months ago
2007
Springer
—The Self-Organising Map (SOM) has been proposed as an alternative interface for exploring Digital Libraries (DL), in addition to conventional search and browsing. With advanced ...