|
Diagrams 2000 ProgrammeSchedule Overview
Technical paper presentations are 20 minutes + 5 minutes for questions
|
13:30-15:10 Paper Session 1 |
||
J. Gil, J. Howse & E. Tulchinsky |
Logic and diagrams |
|
On the Completeness and Expressiveness of Spider Diagram Systems |
J. Howse, F. Molina & J Taylor |
|
K. Marriott & B. Meyer |
||
S.-J. Shin |
||
15:10-15:40 Break |
||
15:40-17:20 Paper Session 2 |
||
Constraint matching for diagram design: Qualitative visual languages |
A. von Klopp Lemon & O. von Klopp Lemon |
|
Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork |
F. Drewes & R. Klempien-Hinrichs |
|
|
||
J. Norman |
Theoretical concerns about diagrams |
|
P. Scotto di Luzio |
Stroll around Arthur's Seat
Keith Stenning, University of Edinburgh
David Gooding, University of Bath
Cognitive History of Science: the Roles of Diagrammatic Representations in Discovery and Modeling Discovery
Hermi Schijf, Utrecht University
Cognitive (production system) modelling of how an expert uses a Cartesian graph
Jiajie Zhang, University of Texas at Houston
The Coordination of external representations and internal mental representations in display-based cognitive tasks
13:30-15:10 Paper Session 3 |
||
K. Stenning |
Theoretical concerns about diagrams (cont'd) |
|
|
||
Cognition and diagrams |
||
How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm |
A. Feeney, A.K.W. Hola, S.P. Liversedge, J.M. Findlay & R. Metcalf |
|
Restricted Focus Viewer: A Tool for Tracking Visual Attention |
A.F. Blackwell, A. R. Jansen & K Marriott |
|
N. H. Narayanan & M. Hegarty |
||
15:10 - 15:40 Break |
||
15:40 - 17:20 Paper Session 4 |
||
M. Hegarty |
||
|
||
Recording the Future: Some Diagrammatic Aspects of Time Management |
S. Clink & J. Newman |
Human Communication with diagrams |
Lines, Blobs, Crosses, and Arrows: Diagrammatic Communication with Schematic figures |
B. Tversky, J. Zacks, P. Lee & J. Heiser |
|
S. Jones |
9:00 - 10:15 Paper Session 5 |
||
A Comparison of Graphics and Speech in a Task-Oriented Interaction |
P.G.T. Healey, R. McCabe and Y. Katagiri |
Human Communication with diagrams (cont'd) |
Diagramming Aesthetics: Modernism and Architecture in the 21st Century |
M. J. Clayton |
|
|
||
JVenn: A Visual Reasoning System with Diagrams and Sentences |
H. Sawamura & K. Kiyozuka |
Diagrammatic reasoning / proof systems |
10:15 - 10:40 Break |
||
10:40 - 12:20 Paper Session 6 |
||
A Proposal for Automatic Diagrammatic Reasoning in Continuous Domains |
D. Winterstein, A. Bundy & M. Jamnik |
|
R. K. Lindsay |
||
G. Furnas, Yan Qu, S. Shrivastava & G. Peters |
||
|
||
D. Blostein, E. Lank & R. Zanibbi |
Diagrams for systems, systems for diagrams |
|
12:20 - 13:30 Lunch |
||
13:30 - 15:10 Paper Session 7 |
||
Z. Diskin, B. Kadish, F. Piessens & Michael Johnson |
||
A. Felfernig & M. Zanker |
||
Evaluating the Intelligibility of Diagrammatic Languages used in the Specification of Software. |
C. Britton, S. Jones, M. Kutar, M. Loomes & B. Robinson |
|
J. Thurbon |
||
15:10 - 15:40 Break |
||
15:40 - 17:20 Paper Session 8 |
||
R.I. Ferguson, A. Hunter & C. Hardy |
||
S. Gruner & M. Kurt |
||
S. Takada, Y. Yamamoto, & K. Nakakoji |
||
E. Mäkinen & H. Siirtola |
F. C. Pereira & A. Cardoso |
|
Z. Kulpa |
|
R. K. Lowe |
|
J. H. Connolly |
Diagrams as Components of Multimedia Discourse: A Semiotic Approach |
C. Gurr & K. Tourlas |
|
A. Klippel & L. Kulik |
|
N. Miller |
|
Yan Ping Zhou & Chew Lim Tan |
Bar Chart Recognition Using Hough Based Syntactic Segmentation |
H. C. Purchase, D. Carrington & J. Allder |