In adverse weather conditions, in particular, in day-light fog, the contrast of images grabbed by in-vehicle cameras in the visible light range is drastically degraded, which makes...
Nicolas Hautière, Jean-Philippe Tarel and Didier...
—We consider opportunistic communications over multiple channels where the state (“good” or “bad”) of each channel evolves as independent and identically distributed Mark...
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
In this paper, we review our proposed statistical voice conversion approaches to enhancing various types of body transmitted speech captured with non-audible murmur (NAM) micropho...
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....