-
4
-
-
79952386411
-
Recognising sketches of Euler diagrams drawn with ellipses
-
Knowledge Systems Institute
-
A. Delaney, B. Plimmer, G. Stapleton, P. Rodgers. Recognising sketches of Euler diagrams drawn with ellipses. In Visual Languages and Computing, pp 305-310. Knowledge Systems Institute, 2010.
-
(2010)
Visual Languages and Computing
, pp. 305-310
-
-
Delaney, A.1
Plimmer, B.2
Stapleton, G.3
Rodgers, P.4
-
5
-
-
0013196197
-
Lettres à une Princesse d'Allemagne sur divers sujets de physique et de philosophie
-
L. Euler. Lettres à une Princesse d'Allemagne sur divers sujets de physique et de philosophie. Letters, 2:102-108, 1775.
-
(1775)
Letters
, vol.2
, pp. 102-108
-
-
Euler, L.1
-
6
-
-
40549114530
-
Repeat victimization and hot spots: The overlap and its implication for crime control and problem-oriented policing
-
G. Farrell, W. Sousa. Repeat victimization and hot spots: The overlap and its implication for crime control and problem-oriented policing. Crime Prevention Studies, 12:221-240, 2001.
-
(2001)
Crime Prevention Studies
, vol.12
, pp. 221-240
-
-
Farrell, G.1
Sousa, W.2
-
8
-
-
0013243981
-
Visual and Spatial Reasoning in Design
-
chapter University of Sydney
-
G. Goldschmidt. Visual and Spatial Reasoning in Design, chapter The Backtalk of Self-Generated Sketches, pp 163-184. University of Sydney, 1999.
-
(1999)
The Backtalk of Self-Generated Sketches
, pp. 163-184
-
-
Goldschmidt, G.1
-
9
-
-
0003301677
-
Spider Diagrams: A Diagrammatic Reasoning System
-
DOI 10.1006/jvlc.2000.0210, PII S1045926X00902106
-
J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, 12(3):299-324, 2001. (Pubitemid 33652034)
-
(2001)
Journal of Visual Languages and Computing
, vol.12
, Issue.3
, pp. 299-324
-
-
Howse, J.1
Molina, F.2
Taylor, J.3
Kent, S.4
Gil, J.Y.5
-
10
-
-
82855182248
-
Visual Reasoning about Ontologies
-
J. Howse, G. Stapleton, I. Oliver. Visual Reasoning about Ontologies. International Semantic Web Conference, CEUR volume 658, pages 5-8, 2010
-
(2010)
International Semantic Web Conference, CEUR
, vol.658
, pp. 5-8
-
-
Howse, J.1
Stapleton, G.2
Oliver, I.3
-
12
-
-
3042727148
-
Visualizing multiple regression
-
E. Ip. Visualizing multiple regression. Journal of Statistics Education, 9(1), 2001.
-
(2001)
Journal of Statistics Education
, vol.9
, Issue.1
-
-
Ip, E.1
-
14
-
-
0031251476
-
Constraint diagrams: Visualizing invariants in object oriented modelling
-
ACM
-
S. Kent. Constraint diagrams: Visualizing invariants in object oriented modelling. In Proceedings of OOPSLA97, pp 327-341. ACM, 1997.
-
(1997)
Proceedings of OOPSLA97
, pp. 327-341
-
-
Kent, S.1
-
15
-
-
77955823692
-
Euler diagrams for visualizing annotated gene expression data
-
H. Kestler, A. Muller, H. Liu, D. Kane, B. Zeeberg, J. Weinstein. Euler diagrams for visualizing annotated gene expression data. In Euler Diagrams 2005, 2005.
-
(2005)
Euler Diagrams 2005
-
-
Kestler, H.1
Muller, A.2
Liu, H.3
Kane, D.4
Zeeberg, B.5
Weinstein, J.6
-
16
-
-
80055027567
-
Visualising and Specifying Ontologies using Diagrammatic Logics
-
CRPIT
-
I. Oliver, J. Howse, G. Stapleton, E. Nuutila, S. Törma. Visualising and Specifying Ontologies using Diagrammatic Logics. In 5th Australasian Ontologies Workshop, CRPIT vol. 112, 2009.
-
(2009)
5th Australasian Ontologies Workshop
, vol.112
-
-
Oliver, I.1
Howse, J.2
Stapleton, G.3
Nuutila, E.4
Törma, S.5
-
18
-
-
79953085977
-
Sketchnode: Intelligent sketching support and formal diagramming
-
ACM
-
B. Plimmer, H. Purchase, H. Yang. Sketchnode: Intelligent sketching support and formal diagramming. In OZCHI 2010, pp 136-143. ACM, 2010.
-
(2010)
OZCHI 2010
, pp. 136-143
-
-
Plimmer, B.1
Purchase, H.2
Yang, H.3
-
20
-
-
0042231982
-
The proportional Venn diagram of obstructive lung disease
-
J. Soriano, K. D. B. Coleman, G. Visick, D. Mannino, N. Pride. The proportional Venn diagram of obstructive lung disease. Chest, 124:474-481, 2003.
-
(2003)
Chest
, vol.124
, pp. 474-481
-
-
Soriano, J.1
Coleman, K.D.B.2
Visick, G.3
Mannino, D.4
Pride, N.5
-
21
-
-
36549027947
-
Automated theorem proving in euler diagram systems
-
DOI 10.1007/s10817-007-9069-y
-
G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning, 39(4):431-470, 2003. (Pubitemid 350178371)
-
(2007)
Journal of Automated Reasoning
, vol.39
, Issue.4
, pp. 431-470
-
-
Stapleton, G.1
Masthoff, J.2
Flower, J.3
Fish, A.4
Southern, J.5
-
22
-
-
18844395897
-
Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
-
ENTCS
-
N. Swoboda, G. Allwein. Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. In Euler Diagrams 2004, ENTCS. 2005.
-
(2005)
Euler Diagrams 2004
-
-
Swoboda, N.1
Allwein, G.2
-
23
-
-
18844381648
-
Using Euler diagrams in traditional library environments
-
DOI 10.1016/j.entcs.2005.02.024, PII S1571066105050474, Proceedings of the First International Workshop on Euler Diagrams
-
J. Thièvre, M. Viaud, A. Verroust-Blondet. Using Euler diagrams in traditional library environments. In Euler Diagrams 2004,ENTCS, pp 189-202. 2005. (Pubitemid 40682573)
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.134
, pp. 189-202
-
-
Thievre, J.1
Viaud, M.-L.2
Verroust-Blondet, A.3
-
24
-
-
0011422988
-
On the diagrammatic and mechanical representation of propositions and reasonings
-
J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag, 1880.
-
(1880)
Phil.Mag
-
-
Venn, J.1
-
25
-
-
84864775066
-
Effect of fidelity in diagram presentation
-
BCS
-
L. Yeung, B. Plimmer, B. Lobb, D. Elliffe. Effect of fidelity in diagram presentation. In HCI 2008, pp 35-45. BCS, 2008.
-
(2008)
HCI 2008
, pp. 35-45
-
-
Yeung, L.1
Plimmer, B.2
Lobb, B.3
Elliffe, D.4
|