2742 search results - page 363 / 549 » Deriving Category Theory from Type Theory |
CHI
2011
ACM
13 years 23 days ago
2011
ACM
Exertion games require investing physical effort. The fact that such games can support physical health is tempered by our limited understanding of how to design for engaging exert...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—Spectrum sharing is an emerging mechanism to resolve the conflict between the spectrum scarcity and the growing demands for the wireless broadband access. In this paper we inve...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
There are many on-line settings in which users publicly express opinions. A number of these offer mechanisms for other users to evaluate these opinions; a canonical example is Ama...
STOC
2006
ACM
14 years 9 months ago
2006
ACM
One of the major tasks of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on the true evolu...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
Mobile usage patterns often entail high and fluctuating levels of difficulty as well as dual tasking. One major theme explored in this research is whether a flexible multimodal in...