DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
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...
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
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 ...
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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...
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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...
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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....
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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...
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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...
DIAGRAMS
2004
Springer
14 years 5 months ago
2004
Springer
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...