There are lots of validation indexes and techniques to study clustering results. Biclustering algorithms have been applied in Systems Biology, principally in DNA Microarray analysi...
We present here the analysis of multimodal data gathered during realistic face-to-face interaction of a target speaker with a number of interlocutors. Videos and gaze have been mon...
We present here a system for controlling the eye gaze of a virtual embodied conversational agent able to perceive the physical environment in which it interacts. This system is ins...
Efficient multi-scale manifold reconstruction from point clouds can be obtained through the Hierarchical Radial Basis Functions (HRBF) network. An online training procedure for HRB...
Francesco Bellocchio, Stefano Ferrari, Vincenzo Pi...
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...