Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
This paper proposes a generic method for action recognition
in uncontrolled videos. The idea is to use images
collected from the Web to learn representations of actions
and use ...
Nazli Ikizler-Cinbis, R. Gokberk Cinbis, Stan Scla...
Recent years have witnessed ever-increasing concerns about
individual privacy in numerous data dissemination applications
that involve private personal information, e.g., medical...