6662 search results - page 1157 / 1333 » Mobile and Ubiquitous Computing |
149
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we present the design, implementation, and deployment of a phone-based broadcasting system designed for reaching out to at-risk populations in urban India. We worke...
166
click to vote
COMGEO
2011
ACM
14 years 7 months ago
2011
ACM
Skyhook Wireless provides hybrid positioning to millions of mobile devices around the world. Using an approach that integrates cell, WiFi, and GPS signals, the system services ove...
154
click to vote
DCOSS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract—We first present a problem called precedence constrained two traveling salesman (PC2TSP). We propose a nearoptimal heuristic to PC2TSP to generate tours by clustering p...
150
click to vote
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
Indoor localization is of great importance for a range of pervasive applications, attracting many research efforts in the past decades. Most radio-based solutions require a proce...
148
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...