首页>外文会议>Diagrammatic Representation and Inference

Diagrammatic Representation and Inference

召开年：2004
召开地：Cambridge(GB);Cambridge(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'

机译：学生程序员“形象性”的认知加工视角
- 作者：Richard Cox;Pablo Romero;Benedict du Boulay;Rudi Lutz
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
2.A Prototype Inference Engine for Rule-Based Geometric Reasoning

机译：基于规则的几何推理的原型推理引擎
- 作者：Joseph J. Pfeiffer;Jr.
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
3.An Architecture for Problem Solving with Diagrams

机译：用图解决问题的架构
- 作者：B. Chandrasekaran;Unmesh Kurup;Bonny Banerjee;John R. Josephson;Robert Winkler
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
4.An Experimental Comparison of Diagrammatic and Algebraic Logics

机译：图逻辑和代数逻辑的实验比较
- 作者：Daniel Winterstein;Alan Bundy;Corin Gurr;Mateja Jamnik
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
5.Automated Model Transformation and Its Validation Using AToM~3 and AGG

机译：使用AToM〜3和AGG进行自动模型转换及其验证
- 作者：Juan de Lara;Gabriele Taentzer
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
- meta-modelling;
- graph transformation;
- multi-formalism modelling;
6.Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition

机译：通过任务图从任务方法图和方法通量图自动生成分布式设计工具的行为定义
- 作者：J. Fernando Bienvenido;Isabel M. Flores-Parra
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
7.Automatic Proofs for Scalecharts

机译：比例表自动证明
- 作者：Richard Bosworth
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
8.Bar-Gain Boxes: An Informative Illustration of the Pairing Problem

机译：增益盒：配对问题的翔实插图
- 作者：Kevin Burns
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
9.Bayesian Boxes: A Colored Calculator for Picturing Posteriors

机译：贝叶斯盒子：描绘后人的彩色计算器
- 作者：Kevin Burns
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
10.Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?

机译：对象（实例）图可以帮助一年级学生理解程序的行为吗？
- 作者：Lynda Thomas;Mark Ratcliffe;Benjy Thomasson
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
11.Constructing Diagrams Representing Group Motions

机译：构造表示团体运动的图表
- 作者：Bonny Banerjee;B. Chandrasekaran
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
12.Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction

机译：图形对话中的协调约定：重复与互动的影响
- 作者：Patrick G.T. Healey;James King;Nik Swoboda
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
13.Diagram Schemas: What, Why, How

机译：图模式：什么，为什么，如何
- 作者：Robert P. Futrelle
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
14.Diagrammatic Spreadsheet: An Overview

机译：图表电子表格：概述
- 作者：Truong Lan Le;Zenon Kulpa
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
15.Diagrams and Non-monotonicity in Puzzles

机译：拼图中的图和非单调性
- 作者：Benedek Nagy;Gerard Allwein
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
- puzzles;
- diagrammatic reasoning;
- non-monotonic reasoning;
16.Diagrams in the Mind and in the World: Relations between Internal and External Visualizations

机译：心灵和世界中的图表：内部和外部可视化之间的关系
- 作者：Mary Hegarty
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
17.Drawing Graphs in Euler Diagrams

机译：在欧拉图中绘制图形
- 作者：Paul Mutton;Peter Rodgers;Jean Flower
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
18.Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets

机译：确保多达8组扩展Euler图的可绘制性
- 作者：Anne Verroust;Marie-Luce Viaud
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
19.Feature Diagrams in Phonology

机译：语音学中的功能图
- 作者：Don Salting
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
20.Generating New Research Hypotheses from a Result Diagram of Qualitative Research

机译：从定性研究的结果图中生成新的研究假设
- 作者：Herman J. Ader;H. Roeline W. Pasman;B. Anne-Mei The
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
21.Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

机译：生成可读证明：利用蜘蛛图进行定理证明的启发式方法
- 作者：Jean Flower;Judith Masthoff;Gem Stapleton
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
22.Geographic Projection of Cluster Composites

机译：团簇复合材料的地理投影
- 作者：Peter Kleiweg;John Nerbonne;Leonie Bosveld
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
23.Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics

机译：将感知任务的努力纳入信息图形中的意图识别
- 作者：Stephanie Elzer;Nancy Green;Sandra Carberry;James Hoffman
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
24.Individual Differences in Graphical Reasoning

机译：图形推理中的个体差异
- 作者：Aidan Feeney;John Adams;Lara Webber;Michael Ewbank
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
25.Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations

机译：图形表示的推论和表达能力：调查和一些概括
- 作者：Atsushi Shimojima
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
26.Inter-diagrammatic Reasoning and Digital Geometry

机译：图解间推理和数字几何
- 作者：Robert McCartney;Passent El-Kafrawy
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
27.Interpreting Imprecise Diagrams

机译：解释不精确图
- 作者：Neil Smith;Pete Thomas;Kevin Waugh
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
28.Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?

机译：解释图形中的线：图形用户是否构想虚拟运动？
- 作者：Rossano Barone;Peter C.-H. Cheng
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
29.Learning with Diagrams: Effects on Inferences and the Integration of Information

机译：用图学习：对推理和信息整合的影响
- 作者：Kirsten R. Butcher;Walter Kintsch
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
30.Making TRACS: The Diagrammatic Design of a Double-Sided Deck

机译：制作TRACS：双面甲板的图解设计
- 作者：Kevin Burns
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
31.Notations for Software Engineering Class Structures

机译：软件工程类结构的表示法
- 作者：Pourang Irani
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
32.On Differences between the Real and Physical Plane

机译：关于实平面与实平面的差异
- 作者：Daniel Winterstein;Alan Bundy;Mateja Jamnik
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
33.On Extending Venn Diagram by Augmenting Names of Individuals

机译：关于通过扩展个人名称扩展维恩图
- 作者：L. Choudhury;M.K. Chakraborty
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
34.On Frege's Logical Diagrams

机译：论弗雷格的逻辑图
- 作者：Iulian D. Toader
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
35.Peirce's Diagrammatic Logic in IF Perspective

机译：中频视角下的皮尔士图式逻辑
- 作者：Ahti-Veikko Pietarinen
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
36.Perceptual Support of Diagram Creation and Editing

机译：图表创建和编辑的感知支持
- 作者：Eric Saund;James Mahoney
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
37.Predictors of Success in Diagrammatic Problem Solving

机译：图解式问题解决方案成功的预测因素
- 作者：Daesub Yoon;N. Hari Narayanan
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
38.Processing Animation: Integrating Information from Animated Diagrams

机译：处理动画：集成动画图中的信息
- 作者：Sara Price
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
39.Psychological Foundations for Concept Modeling

机译：概念建模的心理学基础
- 作者：Csaba Veres;Gittan Mansson
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
40.Query Graphs with Cuts: Mathematical Foundations

机译：带削减的查询图：数学基础
- 作者：Frithjof Dau
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
41.Reasoning with Projected Contours

机译：预测轮廓的推理
- 作者：Chris John
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
42.Representing Rosters: Conceptual Integration Counteracts Visual Complexity

机译：代表名册：概念整合抵消视觉复杂性
- 作者：Peter C-H. Cheng;Rossano Barone
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
43.Roles of Diagrammatic Information for the Discovery of Geometrical Theorems

机译：图解信息在发现几何定理中的作用
- 作者：Tsuyoshi Murata
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
- automated scientific discovery;
- discovery systems;
- diagrammatic reasoning;
- geometrical theorems;
44.ScanScribe: Perceptually Supported Diagram Image Editing

机译：ScanScribe：感知上受支持的图表图像编辑
- 作者：Eric Saund;James Mahoney
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
45.Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages

机译：定制认知维度以评估视觉建模语言的某些方面
- 作者：Anna E. Bobkowska
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
46.Spatial Transformations in Graph Comprehension

机译：图理解中的空间变换
- 作者：Susan Bell Trickett;J. Gregory Trafton
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
47.Speech and Graphical Interaction in Multimodal Communication

机译：多模式通信中的语音和图形交互
- 作者：Ichiro Umata;Atsushi Shimojima;Yasuhiro Katagiri
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
48.Teaching Children Brackets by Manipulating Trees: Is Easier Harder?

机译：通过操纵树木来教学儿童支架：更容易吗？
- 作者：T.R.G. Green;Andrew G. Harrop;Vania Dimitrova
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
49.The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task

机译：外部表示知识对数据库查询任务中性能和表示选择的影响
- 作者：Beate Grawemeyer;Richard Cox
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
50.Towards a Default Reading for Constraint Diagrams

机译：走向约束图的默认读数
- 作者：Andrew Fish;John Howse
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
- visual formalisms;
- diagrammatic reasoning;
- software specification;
- formal methods;
- constraint diagrams;
51.User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?

机译：用户可控制的动画图：学习动态内容的解决方案？
- 作者：Richard Lowe
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
52.Using Color Component Overlays for Result Visualization in a Classification by Sketch System

机译：在草图系统的分类中使用颜色分量叠加进行结果可视化
- 作者：Rick L. Vinyard;Joseph J. Pfeiffer
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
53.Using Graphics to Communicate Across Cultures

机译：使用图形进行跨文化交流
- 作者：Nicolas Fay;Nik Swoboda;Takugo Fukaya;Ichiro Umata;Yasuhiro Katagiri
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
54.Visualization Techniques for Product Change and Product Modelling in Complex Design

机译：复杂设计中产品变更和产品建模的可视化技术
- 作者：Timothy Jarratt;Rene Keller;Seena Nair;Claudia Eckert;P John Clarkson
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
55.What Can Spider Diagrams Say?

机译：蜘蛛图能说什么？
- 作者：Gem Stapleton;John Howse;John Taylor;Simon Thompson
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年
56.Why Diagrams are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing

机译：为什么图（有时）比文字容易六倍：超越位置索引的好处
- 作者：Peter C-H. Cheng
- 会议名称：《Diagrammatic Representation and Inference》 | 2004年