Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
This paper introduces the universal mobile interface that allows users to navigate themselves into multiple heterogeneous digital cites with a single interface. The universal mobi...
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...
We describe the development of a novel tangible interface we call the InterCUBE, a cube-shaped device with no external buttons or widgets. We study the implications of such a shape...
OLAP is an important tool in decision support. With the help of domain knowledge, such as hierarchies of attribute values, OLAP helps the user observe the effects of various decis...