5675 search results - page 80 / 1135 » Formalising Performative Interaction |
136
click to vote
SCP
2010
15 years 7 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
107
click to vote
CGI
2004
IEEE
15 years 5 months ago
2004
IEEE
Enabling group collaboration is important in computer graphics today. We have developed a framework that supports multiple pointing devices to explore the collaborative utility of...
122
Voted
BCSHCI
2007
15 years 3 months ago
2007
This paper presents the design and comparison of a mousebased interaction technique (hereafter IT) and two advanced IT, used in public spaces to support navigation in a 3D space. ...
112
Voted
AUSAI
2010
Springer
15 years 24 days ago
2010
Springer
Java-based simulation environments are currently used by many multiagent systems (MAS), since they mainly provide portability as well as an interesting reduction of the development...
112
click to vote
JGTOOLS
2008
15 years 1 months ago
2008
Interactive volume rendering methods such as texture-based slicing techniques and ray-casting have been well developed in recent years. The rendering performance is generally restr...