Live media production – the presentation of audio-visual content at events such as conferences and concerts – is a high intensity task where a small production team must inter...
We demonstrate an adaptation strategy for adjusting the stride period in a hexapedal running robot. The robot is inspired by discoveries about the self-stabilizing properties of i...
Jonathan K. Karpick, Jorge G. Cham, Jonathan E. Cl...
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
Reliable transport protocols such as TCP are tuned to perform well in traditional networks where packet losses occur mostly because of congestion. However, networks with wireless ...
Hari Balakrishnan, Venkata N. Padmanabhan, Sriniva...
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...