Online collaboration, in comparison to face-to-face collaboration, is advantageous in making multiparty teamwork possible at a very low cost. As multicultural multiparty collabora...
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...
Inspired by conversational visualization tools and the increasing enactment of relationships in social media, we examine how people reflect on friendships and how social data and ...
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
Werner Breitfuss, Helmut Prendinger, Mitsuru Ishiz...
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...