Sciweavers

1591 search results - page 142 / 319
» The User as Navigator
Sort
View
LPAR
2005
Springer
14 years 1 months ago
The Theorema Environment for Interactive Proof Development
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...
Florina Piroi, Temur Kutsia
DIGITALCITIES
2003
Springer
14 years 1 months ago
Talking Digital Cities: Connecting Heterogeneous Digital Cities Via the Universal Mobile Interface
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...
Tomoko Koda, Satoshi Nakazawa, Toru Ishida
DSRT
1999
IEEE
14 years 9 days ago
Agent-Aided Collaborative Virtual Environments Over HLA/RTI
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...
Xiaojun Shen, Ramsey Hage, Nicolas D. Georganas
INTERACT
2007
13 years 9 months ago
InterCUBE: A Study into Merging Action and Interaction Spaces
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...
Benjamin Salem, Harold Peeters
SIGMOD
2008
ACM
113views Database» more  SIGMOD 2008»
13 years 8 months ago
Supporting OLAP operations over imperfectly integrated taxonomies
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...
Yan Qi 0002, K. Selçuk Candan, Jun'ichi Tat...