We show how a game-theoretic model of spam e-mailing, which we had introduced in previous work, can be extended to include the possibility of employing Human Interactive Proofs (h...
Dimitrios K. Vassilakis, Ion Androutsopoulos, Evan...
Tracking people using movie sequences is not straightforward because of the human body's articulation and the complexity of a person's movements. In this paper we show ho...
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...
This paper studies how software agents influence the market behavior of human traders. Programmed traders with a passive arbitrage seeking strategy are introduced in a double auct...