Sciweavers

4078 search results - page 7 / 816
» The COMPASS Location System
Sort
View
64
Voted
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
15 years 3 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
83
Voted
CAD
1998
Springer
14 years 9 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
CG
1999
Springer
14 years 9 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
15 years 10 months 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»
12 years 12 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...