15379 search results - page 2857 / 3076 » Protecting users from |
163
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
Large scale data analysis and mining activities, such as identifying interesting trends, making unusual patterns to stand out and verifying hypotheses, require sophisticated infor...
175
click to vote
VR
1999
IEEE
15 years 8 months ago
1999
IEEE
The study of human-computer interaction within immersive virtual environments requires us to balance what we have learned from the design and use of desktop interfaces with novel ...
148
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
The Internet is rapidly changing from a set of wires and switches that carry packets into a sophisticated infrastructure that delivers a set of complex value-added services to end...
136
click to vote
VISUALIZATION
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new method for using texture to visualize multidimensional data elements arranged on an underlying threedimensional height field. We hope to use simple textu...
196
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...