— We present an O(n log1+ε n)-time algorithm for computing the optimal robot motion that maintains lineof-sight visibility between a target moving inside a polygon with n vertic...
An overview of research on the implementation of neural systems is presented in this paper. We focus on implementations where the algorithms and their physical support are tightly ...
Patrice Fleury, Adria Bofill-i-Petit, Alan F. Murr...
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
Abstract— In this paper, we study cooperative control algorithms using pairwise interactions, for the purpose of controlling flocks of unmanned vehicles. An important issue is t...
Yao-Li Chuang, Yuan R. Huang, Maria R. D'Orsogna, ...
Abstract— Multiple-target tracking is a canonical application of sensor networks as it exhibits different aspects of sensor networks such as event detection, sensor information f...