Our continued investigation into the experience of improvisers as they construct narrative in improvisational theatre provides a meaningful decomposition of its atomic unit, the of...
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
We consider the problem of minimum distortion intrinsic correspondence between deformable shapes, many useful formulations of which give rise to the NP-hard quadratic assignment p...
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
Luca de Alfaro, Krishnendu Chatterjee, Marco Faell...
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...