Sciweavers

3036 search results - page 93 / 608
» Color in Information Display
Sort
View
LOGCOM
2007
72views more  LOGCOM 2007»
15 years 6 months ago
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
Rajeev Goré, Alwen Tiu
IADIS
2008
15 years 7 months ago
Ajax-Based E-Learning System
An e-learning system based on Ajax has been developed. Ajax enables Web users to upload user commands and download new information without the need for a page refresh. Various e-l...
Mami Tanimoto, Yoshiaki Shikata
132
Voted
WWW
2001
ACM
16 years 6 months ago
Hierarchical Atomic Navigation for Small Display Devices
We present a new transcoding technique for WWW navigation on small display devices: hierarchical atomic navigation (HANd). Unlike previous techniques, HANd shows all original info...
David Conde-Lagoa, Enrique Costa-Montenegro, Franc...
CHI
2007
ACM
16 years 6 months ago
Direct-touch vs. mouse input for tabletop displays
We investigate the differences ? in terms of both quantitative performance and subjective preference ? between direct-touch and mouse input for unimanual and bimanual tasks on tab...
Clifton Forlines, Daniel Wigdor, Chia Shen, Ravin ...
ICSE
2008
IEEE-ACM
16 years 6 months ago
Benefits of interactive display environments in the software development process
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...
Mathias Frisch, Raimund Dachselt