2455 search results - page 115 / 491 » Graphical abstract help |
INFOVIS
1998
IEEE
14 years 2 months ago
1998
IEEE
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
ACSE
1997
ACM
14 years 2 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
ICAIL
2007
ACM
14 years 2 months ago
2007
ACM
This paper describes an intelligent tutoring system, LARGO, that helps students learn skills of legal reasoning with hypotheticals by analyzing oral arguments before the US Suprem...