2703 search results - page 473 / 541 » Working Class Hero |
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
MOBICOM
2009
ACM
14 years 4 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
MOBICOM
2009
ACM
14 years 4 months ago
2009
ACM
This paper presents the design challenges posed by a new class of ultra-low-power devices referred to as Energy-Harvesting Active Networked Tags (EnHANTs). EnHANTs are small, fle...
RECSYS
2009
ACM
14 years 4 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...