Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
Our group builds robots to operate in natural, social environments. The challenge of interacting with humans constrains how our robots appear physically, how they move, how they p...
Cynthia Breazeal, Aaron Edsinger, Paul M. Fitzpatr...
Abstract. In this paper, the concept of computational environment for processing of very large datasets (clouds of points with amount up to 1011 measurement points) obtained from 3...
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
Donatello Materassi, Giacomo Innocenti, Laura Giar...
User trials for future mobile telecommunication applications inherently pose several particular challenges which are difficult to meet in a traditional lab environment. In this pa...