4946 search results - page 382 / 990 » Interacting with Large Displays |
177
click to vote
IV
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we describe a tool to improve interfunctional communication of project plans by displaying them as a metro map. Our tool automatically lays out plans using a multicr...
163
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
160
click to vote
ISWC
2003
IEEE
16 years 20 hour ago
2003
IEEE
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
170
click to vote
CASES
2003
ACM
16 years 7 hour ago
2003
ACM
A significant fraction of the software and resource usage of a modern handheld computer is devoted to its graphical user interface (GUI). Moreover, GUIs are direct users of the d...
167
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...