827 search results - page 47 / 166 » Using intentional models for the interface design of multi-l... |
CANDC
2009
ACM
14 years 2 months ago
2009
ACM
Data visualization, commonly used to make large sets of numerical data more legible, also has enormous potential as a storytelling tool to elicit insights on long-standing social ...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
LCTRTS
1999
Springer
13 years 12 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...