2100 search results - page 96 / 420 » Relational Topographic Maps |
150
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
140
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
156
click to vote
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
129
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
135
click to vote
APCHI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...