3718 search results - page 463 / 744 » IMPS: System Description |
151
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. While providing non-visual access to graphical user interfaces has been the topic of research for over 20 years, blind users still face many obstacles when using computer...
180
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
214
click to vote
MMB
2001
Springer
15 years 11 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
142
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
153
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
An effective image reproduction pipeline, spanning image capture, processing and display, must be designed to account for the properties of the human observer. In designing an ima...