Abstract—Delay Tolerant Networks (DTNs) are wireless networks in which at any given time instance, the probability of having a complete path from a source to destination is low d...
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
Although noise PSD estimation is a crucial part of noise reduction algorithms, most noise PSD estimators have problems in tracking non-stationary noise sources. Recently, a noise ...
Richard C. Hendriks, Richard Heusdens, Jesper Jens...
— Motion control algorithms were proposed for a 9-DOF finger-arm robot by using the finger manipulability obtained in a previous study. However, in the previous study, only metho...
Jian Huang, Daisuke Yamada, Takayuki Hori, Masayuk...
— In this paper, we propose a novel approach for the visual navigation of unmanned aerial vehicles (UAV). In contrast to most available methods, a single perspective camera is us...
Chunrong Yuan, Fabian Recktenwald, Hanspeter A. Ma...