Sciweavers

DIAGRAMS
2004
Springer
14 years 5 months ago
Reasoning with Projected Contours
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
Chris John
DIAGRAMS
2004
Springer
14 years 5 months ago
Automatic Proofs for Scalecharts
A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from sc...
Richard Bosworth
DIAGRAMS
2004
Springer
14 years 5 months ago
Cider: A Component-Based Toolkit for Creating Smart Diagram Environments
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
Anthony R. Jansen, Kim Marriott, Bernd Meyer
DIAGRAMS
2004
Springer
14 years 5 months ago
Diagrams in the Mind and in the World: Relations between Internal and External Visualizations
Recent advances in computer technology and graphics have made it possible to produce powerful visualizations of scientific phenomena and more information. There is currently much e...
Mary Hegarty