8624 search results - page 1303 / 1725 » Designing example-critiquing interaction |
175
click to vote
VISUALIZATION
1997
IEEE
15 years 11 months ago
1997
IEEE
Triangle decimation techniques reduce the number of triangles in a mesh, typically to improve interactive rendering performance or reduce data storage and transmission requirement...
174
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
154
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
"Improv Puppets'' is an interaction paradigm modeled after traditional puppet play. With physical puppets, children move their puppets' bodies and speak their ...
160
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
172
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...