710 search results - page 87 / 142 » Model Based Reengineering Of User Interfaces |
AVI
2006
13 years 11 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
NAACL
2003
13 years 11 months ago
2003
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Are the object manipulation techniques traditionally used in head?mounted displays (HMDs) applicable to augmented reality based projection systems? This paper examines the differe...
ECSCW
1993
13 years 11 months ago
1993
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
FROCOS
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...