Sciweavers

4078 search results - page 7 / 816
» The COMPASS Location System
Sort
View
74
Voted
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
15 years 5 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
97
Voted
CAD
1998
Springer
14 years 11 months ago
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
Xiao-Shan Gao, Shang-Ching Chou
85
Voted
CG
1999
Springer
14 years 11 months ago
Tracking in unprepared environments for augmented reality systems
Many Augmented Reality applications require accurate tracking. Existing tracking techniques require prepared environments to ensure accurate results. This paper motivates the need...
Ronald Azuma, Jong Weon Lee, Bolan Jiang, Jun Park...
MOBISYS
2009
ACM
16 years 6 days ago
SoundSense: scalable sound sensing for people-centric applications on mobile phones
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
Hong Lu, Wei Pan, Nicholas D. Lane, Tanzeem Choudh...
ICDE
2012
IEEE
257views Database» more  ICDE 2012»
13 years 2 months ago
LARS: A Location-Aware Recommender System
Abstract—This paper proposes LARS, a location-aware recommender system that uses location-based ratings to produce recommendations. Traditional recommender systems do not conside...
Justin J. Levandoski, Mohamed Sarwat, Ahmed Eldawy...