3025 search results - page 189 / 605 » Interaction in the large |
166
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
This article proposes a framework that will help analyze current and future output multimodal user interfaces. We first define an output multimodal system. We then present our fram...
199
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
164
Voted
SC
2004
ACM
16 years 3 days ago
2004
ACM
Large datasets, on the order of GB and TB, are increasingly common as abundant computational resources allow practitioners to collect, produce and store data at higher rates. As d...
203
click to vote
EXPERT
2002
15 years 6 months ago
2002
names in the same abstract already indicates a relation between them. Because of its simplicity, we can apply this approach to large amounts of text and establish interaction netwo...
149
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
A long-standing research problem in computer graphics is to reproduce the visual experience of walking through a large photorealistic environment interactively. On one hand, tradi...