— Consider a biped evolving in the sagittal plane. The unexpected rotation of the supporting foot can be avoided by controlling the zero moment point or ZMP. The objective of thi...
Dalila Djoudi, Christine Chevallereau, J. W. Grizz...
Heterogeneity has been considered in scheduling, but without taking into account the temporal variation of completion times of the sub-tasks for a divisible, independent task. In ...
—A new pixel-domain Distributed Video Coding (DVC) scheme is proposed in this paper, in which both the temporal and the spatial correlations are exploited only at the decoder. A ...
A large class of problems requires real-time processing of complex temporal inputs in real-time. These are difficult tasks for state-of-the-art techniques, since they require captu...
Igal Raichelgauz, Karina Odinaev, Yehoshua Y. Zeev...
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...