Sciweavers

291 search results - page 8 / 59
» Interface Input Output Automata
Sort
View
ASSETS
2006
ACM
15 years 5 months ago
Dynamically adapting GUIs to diverse input devices
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
Scott Carter, Amy Hurst, Jennifer Mankoff, Jack Li
97
Voted
TEI
2009
ACM
92views Hardware» more  TEI 2009»
15 years 6 months ago
TinkerSheets: using paper forms to control and visualize tangible simulations
This paper describes TinkerSheets, a paper-based interface to tangible simulations. The proposed interface combines the advantages of form-based input and paper. Form-based input ...
Guillaume Zufferey, Patrick Jermann, Auréli...
CHI
2007
ACM
16 years 1 days ago
Soap: how to make a mouse work in mid-air
Computer mice do not work in mid air. The reason is that a mouse is really only half an input device--the other half being the surface the mouse is operated on, such as a mouse pa...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
102
Voted
ICDT
2003
ACM
126views Database» more  ICDT 2003»
15 years 4 months ago
Typechecking Top-Down Uniform Unranked Tree Transducers
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
Wim Martens, Frank Neven
94
Voted
CHI
1992
ACM
15 years 3 months ago
Dynamic Queries for Information Exploration: An Implementation and Evaluation
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
Christopher Ahlberg, Christopher Williamson, Ben S...