Sciweavers

356 search results - page 31 / 72
» Interactive Sankey Diagrams
Sort
View
CHI
1999
ACM
14 years 1 days ago
Design Guidelines for Landmarks to Support Navigation in Virtual Environments
not abstract asymmetry: different sides looks different clumps different from ”data objects” need grid structure, alignment [Design Guidelines for Landmarks to Support Navigati...
Norman G. Vinson
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
14 years 1 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
DIAGRAMS
2004
Springer
14 years 1 months ago
An Experimental Comparison of Diagrammatic and Algebraic Logics
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mat...
APVIS
2003
13 years 9 months ago
Application of Focus + Context to UML.
UML class diagrams of complex software systems are frequently very large, making it difficult to gain a detailed understanding of the underlying software components within the con...
Benjamin Musial, Timothy Jacobs
JAIR
2010
130views more  JAIR 2010»
13 years 6 months ago
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
Bonny Banerjee, B. Chandrasekaran