972 search results - page 30 / 195 » Intersection types and computational effects |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We investigate techniques for visualizing time series data and evaluate their effect in value comparison tasks. We compare line charts with horizon graphs--a space-efficient time ...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
In various types of interactions, individuals may attempt to determine whether their communication partners are being honest or deceptive. Judgments of honesty rely, in part, on a...
HPCA
1995
IEEE
13 years 11 months ago
1995
IEEE
The throughput of a multiple-pipelined processor suffers due to lack of sufficient instructions to make multiple pipelines busy and due to delays associated with pipeline depende...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
SIGGRAPH
1993
ACM
13 years 11 months ago
1993
ACM
A physically compact, low cost, high performance 3D graphics accelerator is presented. It supports shaded rendering of triangles and antialiased lines into a double-buffered 24-bi...