5675 search results - page 228 / 1135 » Formalising Performative Interaction |
119
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Currently available Set-Top-Boxes (STBs) are mainly used for digital TV reception. The User Interface (UI) and the UI dialog of such a device usually focus on its technological as...
160
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
Force feedback coupled with a real-time physically realistic graphic display provides a human operator with an artificial sense of presence in a virtual environment. Furthermore,...
142
Voted
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
We show that it is feasible to perform interactive isosurfacing of very large rectilinear datasets with brute-force ray tracing on a conventional (distributed) shared-memory multi...
170
Voted
CADE
1990
Springer
15 years 9 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
162
Voted
AVI
2008
15 years 7 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...