740 search results - page 33 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
SADM
2011
13 years 3 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
Even though the speed of software ray tracing has recently been increased to interactive performance even on standard PCs, these systems usually only supported triangles as geomet...
HICSS
1999
IEEE
14 years 23 days ago
1999
IEEE
Several groupware systems support casual real time interaction over distance by providing periodically updated snapshots of other people's offices. People then monitor these ...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
There are significant barriers to academic research into user Web search preferences. Academic researchers are unable to manipulate the results shown by a major search engine to ...
ICMCS
2000
IEEE
14 years 26 days ago
2000
IEEE
Facial animation has been combined with text-to-speech synthesis to create innovative multimodal interfaces. In this paper, we present an architecture for this multimodal interfac...