2742 search results - page 520 / 549 » Deriving Category Theory from Type Theory |
MOBICOM
2004
ACM
14 years 2 months ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Peer-to-Peer (P2P) networking is aimed at exploiting the potential of widely distributed information pools and its effortless access and retrieval irrespectively of underlying net...
VAST
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes the development of a Virtual Environment (VE) for telling a traditional San story. The San are an indigenous hunter-gatherer people of southern Africa whose t...
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
GROUP
2003
ACM
14 years 2 months ago
2003
ACM
In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, orientatio...