2742 search results - page 411 / 549 » Deriving Category Theory from Type Theory |
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Geography and social relationships are inextricably intertwined; the people we interact with on a daily basis almost always live near us. As people spend more time online, data re...
CHI
2009
ACM
14 years 3 months ago
2009
ACM
Instant messaging (IM) is a common and popular way for co-workers, friends, and family to stay in touch, but its “always-on” properties can sometimes lead people to feel overe...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
HRI
2009
ACM
14 years 3 months ago
2009
ACM
This paper investigates the potential usefulness of viewing the system of human, robot, and environment as an “information pipeline” from environment to user and back again. I...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...