: Advances in the publishing world have emerged new models of digital library development. Open access schemes are expanding their presence and realize the idea of digital library ...
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
We propose a non-humanlike spoken dialogue design, which consists of two elements: non-humanlike turn-taking and non-humanlike acknowledgment. Two experimental studies are reporte...
It has been shown repeatedly that iterative relevance feedback is a very efficient solution for content-based image retrieval. However, no existing system scales gracefully to hu...
Virtual reality technologies dramatically change the game experience when compared to most popular console games. VR systems may provide a higher user involvement due to the possi...