1284 search results - page 145 / 257 » On Helping and Interactive Proof Systems |
VRML
2003
ACM
14 years 3 months ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
WETICE
2000
IEEE
14 years 2 months ago
2000
IEEE
The CollabLogger is a visual tool that supports usability analyses of human-computer interaction in a team environment. Participants in our computer-mediated activity were engaged...
ACMDIS
2008
ACM
14 years 3 days ago
2008
ACM
Participatory Design is a design approach that provides a popular set of techniques for designing interactive systems in collaboration with end-users. Technology probes are one of...
WSC
2007
14 years 12 days ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
CLIMA
2004
13 years 11 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...