Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, ...
This paper introduces a design technique for complex robotic systems called interfaces- rst design. Interfaces- rst design develops information interfaces based on the characteris...
Gerardo Pardo-Castellote, Stanley A. Schneider, Ro...
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
Stanley A. Schneider, Vincent W. Chen, Gerardo Par...
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
In this paper, we study the issue of defending against adversarial localization in wireless sensor networks. Adversarial localization refers to attacks where an adversary attempts...