3705 search results - page 480 / 741 » Building Documentation Generators |
170
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Navigation in computer generated information spaces may be difficult, resulting in users getting “lost in hyperspace.” This work aims to build on research from the area of ci...
150
click to vote
SIGMOD
1991
ACM
15 years 10 months ago
1991
ACM
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...
160
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we explore sustainability in interaction design by reframing concepts of user identity and use in a domestic setting. Building on our own work on everyday design and...
178
click to vote
DLOG
2008
15 years 9 months ago
2008
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
181
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...