Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...
Multimodal interfaces are the emerging technology that offers expressive, transparent, efficient, robust, and mobile human-computer interaction. In this paper, we described the sp...