2015 search results - page 272 / 403 » Hidden Software Capabilities |
PEPM
1998
ACM
14 years 1 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
IUI
1997
ACM
14 years 1 months ago
1997
ACM
Intelligent user interfaces are characterised by their capability to adapt at run-time and make several communication decisions concerning ‘what’, ‘when’, ‘why’ and â€...
UIST
1997
ACM
14 years 1 months ago
1997
ACM
Direct manipulation of visualizations is a powerful technique for performing exploratory data operations such as navigation, aggregation, and filtering. Its immediacy facilitates ...
UIST
1997
ACM
14 years 1 months ago
1997
ACM
This paper proposes a new field of user interfaces called multi-computer direct manipulation and presents a pen-based direct manipulation technique that can be used for data trans...
ICRE
1996
IEEE
14 years 1 months ago
1996
IEEE
We stress the need of a domain-tailored requirements engineering method for the development of GISapplications. To this end, we discuss three GISapplication scenarios, the so-call...