2596 search results - page 426 / 520 » Gradual Typing for Objects |
167
Voted
IWFM
2003
15 years 4 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
116
Voted
PICS
2003
15 years 4 months ago
2003
A paired comparison psychophysical experiment was performed to evaluate the quality of several imaging techniques. Images rendered for an LCD were compared with two- and three-dim...
111
Voted
ANLP
2000
15 years 4 months ago
2000
This paper compares the efficiency of using a standard direct-manipulation graphical user interface (GUI) with that of using the QuickSet pen/voice multimodal interface for suppor...
118
click to vote
VCIP
2003
15 years 4 months ago
2003
This paper presents a visual color image quality metric assessment with full reference image. The metric is highly based on human visual system properties in order to get the best...
141
Voted
BCSHCI
1997
15 years 4 months ago
1997
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...