805 search results - page 3 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
CTW
2006
13 years 5 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
COLING
1990
13 years 7 months ago
1990
We describe a semi-automatic semantic disambiguator integrated in a knowledge-based machine translation system. It is used to bridge the analysis and generation stages in machine ...
ACSC
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
ICANN
2001
Springer
13 years 10 months ago
2001
Springer
A neural-network-based approach is proposed in this paper providing multimedia systems with the ability to adapt their performance to the specific needs and characteristics of thei...