4 papers
OpenFLAME: Federated Visual Positioning System to Enable Large-Scale Augmented Reality Applications
Sagar Bharadwaj, Harrison Williams, Luke Wang +4
World-scale augmented reality (AR) applications need a ubiquitous 6DoF localization backend to anchor content to the real world consistently across devices. Large organizations suc…
Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj +3
Autonomous cyber-physical systems like robots and self-driving cars could greatly benefit from using formal methods to reason reliably about their control decisions. However, befor…
Uniting the World by Dividing it: Federated Maps to Enable Spatial Applications
Sagar Bharadwaj, Srinivasan Seshan, Anthony Rowe
The emergence of the Spatial Web -- the Web where content is tied to real-world locations has the potential to improve and enable many applications such as augmented reality, navig…
OpenFLAME: A Federated Spatial Naming Infrastructure
Sagar Bharadwaj, Ziyong Ma, Ivan Liang +3
Spatial applications, i.e., applications that tie digital information with the physical world, have improved many of our daily activities, such as navigation and ride-sharing. This…