It has been shown empirically that the XCS classifier system solves typical classification problems in a machine learning competitive way. However, until now, no learning time es...
Martin V. Butz, David E. Goldberg, Pier Luca Lanzi
We present an approach to user re-authentication based on the data collected from the computer’s mouse device. Our underlying hypothesis is that one can successfully model user ...
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
Searching and organizing growing digital music collections requires a computational model of music similarity. This paper describes a system for performing flexible music similarit...
Michael I. Mandel, Graham E. Poliner, Daniel P. W....
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...