This work presents a discriminative model for the retrieval of pictures from text queries. The core idea of this approach is to minimize a loss directly related to the retrieval pe...
We consider open learner models (OLM) with reference to adaptive navigation support and learner control. Our purpose is to assess the potential of a greater range of OLMs in adapti...
Susan Bull, Norasnita Ahmad, Matthew Johnson, Rasy...
An important characteristic of a virtual human is the ability to direct its perceptual attention to entities and areas in a virtual environment in a manner that appears believable ...
Youngjun Kim, Martin Van Velsen, Randall W. Hill J...
The purpose of this paper is to draw a preliminary model of an ontology of organizations. The emphasis is on the structural aspects of organizations and the relations that these ha...
Emanuele Bottazzi, Roberta Ferrario, Claudio Masol...
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...