2742 search results - page 416 / 549 » Deriving Category Theory from Type Theory |
MOBICOM
2009
ACM
14 years 3 months ago
2009
ACM
We address the connectivity of large-scale ad hoc cognitive radio networks, where secondary users exploit channels temporarily and locally unused by primary users and the existenc...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
SIGECOM
2009
ACM
14 years 3 months ago
2009
ACM
Motivated by the prevalence of online questionnaires in electronic commerce, and of multiple-choice questions in such questionnaires, we consider the problem of eliciting truthful...
VRML
2009
ACM
14 years 3 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...