2742 search results - page 519 / 549 » Deriving Category Theory from Type Theory |
CHI
2004
ACM
14 years 2 months ago
2004
ACM
Due to fierce industry competition and demand for novelty, games are a fertile research setting for studying interface design, input devices, graphics, social communication and de...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We consider the problem of clustering Web image search results. Generally, the image search results returned by an image search engine contain multiple topics. Organizing the resu...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
MM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we present our approach to the problem of communicating everyday experiences. This is a challenging problem, since media from everyday events are unstructured, and ...
MOBICOM
2004
ACM
14 years 2 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...