A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
We consider the following problem in haptics: information update from the virtual world is slow w.r.t. the local servo-loop rate of the haptic device, and the information transmis...
We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
—Cooperative spectrum sensing is attracting more attention in Cognitive Radio networks. This paper proposes a fully distributed consensus-based cooperative spectrum sensing schem...
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
Maria Fernanda Caropreso, Diana Inkpen, Shahzad Kh...