Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
In this paper, we investigate the topic of gender identification for short length, multi-genre, content-free e-mails. We introduce for the first time (to our knowledge), psycholing...
Na Cheng, Xiaoling Chen, R. Chandramouli, K. P. Su...
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
In this paper we solve the problem of classifying chestnut plants according to their place of origin. We compare the results obtained by state of the art classifiers, among which,...
This paper proposes an approach to automatically adapt game AI to the environment of the game (i.e., the socalled map). In the approach, a particular map is first analysed for sp...
Laurens van der Blom, Sander Bakkes, Pieter Spronc...