Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
DIAGRAMS
2004
Springer
11 years 5 months ago
What Can Spider Diagrams Say?
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
Gem Stapleton, John Howse, John Taylor, Simon J. T...
DIAGRAMS
2004
Springer
11 years 5 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
DIAGRAMS
2004
Springer
11 years 5 months ago
Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
Stephanie Elzer, Nancy Green, Sandra Carberry, Jam...
DIAGRAMS
2004
Springer
11 years 6 months ago
Predictors of Success in Diagrammatic Problem Solving
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
Daesub Yoon, N. Hari Narayanan
DIAGRAMS
2004
Springer
11 years 6 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...
DIAGRAMS
2004
Springer
11 years 6 months ago
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
Anne Verroust, Marie-Luce Viaud
DIAGRAMS
2004
Springer
11 years 6 months ago
Spatial Transformations in Graph Comprehension
Susan Bell Trickett, J. Gregory Trafton
DIAGRAMS
2004
Springer
11 years 6 months ago
Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?
This paper investigates whether first year programming students can be helped to understand program behaviour through the use of Object (Instance) diagrams. Students were introduce...
Lynda Thomas, Mark Ratcliffe, Benjy J. Thomasson
DIAGRAMS
2004
Springer
11 years 6 months ago
A Prototype Inference Engine for Rule-Based Geometric Reasoning
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
Joseph J. Pfeiffer Jr.
DIAGRAMS
2004
Springer
11 years 6 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
books