740 search results - page 67 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
145
click to vote
SIGGRAPH
1998
ACM
15 years 5 months ago
1998
ACM
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Selecting the right parties to interact with is a fundamental problem in open and dynamic environments. The problem is exemplified when the number of interacting parties is high a...
185
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
The grand tour, one of the most popular methods for multidimensional data exploration, is based on orthogonally projecting multidimensional data to a sequence of lower dimensional...
JCDL
2004
ACM
15 years 6 months ago
2004
ACM
We developed two browsers to support large personal photo collections on PDAs. Our first browser is based on a traditional, folder-based layout that utilizes either the user’s m...
112
click to vote
ACMACE
2007
ACM
15 years 5 months ago
2007
ACM
This paper introduces a novel interactive floor platform for social games and entertainment involving multiple colocated users in a collaborative game environment. The interactive...