During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...