In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...
Karen Detken, Carlos Martinez, Darren Carlson, Var...
We present a novel approach for structure prediction that addresses the difficulty of obtaining labeled structures for training. We observe that structured output problems often h...
Ming-Wei Chang, Vivek Srikumar, Dan Goldwasser, Da...
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
Gianpaolo D'Amico, Andrea Ferracani, Lea Landucci,...