2742 search results - page 366 / 549 » Deriving Category Theory from Type Theory |
DIMEA
2008
13 years 11 months ago
2008
Can Augmented Reality (AR) techniques inform the design and implementation of a mobile multimedia guide for the museum setting? Drawing from our experience both on previous mobile...
BCSHCI
2007
13 years 10 months ago
2007
Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics ...
BCSHCI
2007
13 years 10 months ago
2007
An important part of an interaction designer’s work is meeting with clients during design sessions. It is of great importance that the designers participate in establishing some...
MM
2010
ACM
13 years 9 months ago
2010
ACM
Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users ofte...
COGSCI
2010
13 years 9 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....