咨询与建议

限定检索结果

文献类型

  • 51 篇 会议
  • 4 册 图书

馆藏范围

  • 55 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 47 篇 工学
    • 47 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 5 篇 理学
    • 5 篇 数学

主题

  • 9 篇 diagrammatic rea...
  • 4 篇 artificial intel...
  • 4 篇 user interfaces ...
  • 3 篇 information syst...
  • 3 篇 computers and so...
  • 3 篇 discrete mathema...
  • 3 篇 semantics
  • 3 篇 knowledge repres...
  • 2 篇 proof
  • 2 篇 logic
  • 2 篇 computer graphic...
  • 2 篇 visual thinking
  • 2 篇 representation
  • 2 篇 existential grap...
  • 2 篇 geometry
  • 2 篇 attention
  • 1 篇 examples of todd...
  • 1 篇 comparison
  • 1 篇 heterogeneous in...
  • 1 篇 individual diffe...

机构

  • 3 篇 carleton univ in...
  • 2 篇 univ toronto fac...
  • 2 篇 university of br...
  • 1 篇 future univ dept...
  • 1 篇 univ amsterdam i...
  • 1 篇 keio univ minato...
  • 1 篇 fwo leuven
  • 1 篇 univ birmingham ...
  • 1 篇 waseda univ shin...
  • 1 篇 department of co...
  • 1 篇 centre for distr...
  • 1 篇 university of gl...
  • 1 篇 univ michigan sc...
  • 1 篇 univ edinburgh 1...
  • 1 篇 radboud univ nij...
  • 1 篇 computer laborat...
  • 1 篇 univ barcelona d...
  • 1 篇 university of ca...
  • 1 篇 univ vienna res ...
  • 1 篇 univ fed rio gra...

作者

  • 3 篇 davies jim
  • 2 篇 chandrasekaran b...
  • 2 篇 anta javier
  • 2 篇 jamnik mateja
  • 2 篇 legris javier
  • 2 篇 coppin peter
  • 2 篇 okada mitsuhiro
  • 1 篇 sarah perez-kriz
  • 1 篇 kissinger aleks
  • 1 篇 linker sven
  • 1 篇 francesco belluc...
  • 1 篇 van kleek max
  • 1 篇 goetzinger david
  • 1 篇 afzal muhammad t...
  • 1 篇 takernura ryo
  • 1 篇 muck christian
  • 1 篇 shimojima atsush...
  • 1 篇 qadir muhammad a...
  • 1 篇 burton jim
  • 1 篇 davoust alan

语言

  • 55 篇 英文
检索条件"任意字段=6th International Conference on Diagrammatic Representation and Inference, Diagrams 2010"
55 条 记 录,以下是1-10 订阅
排序:
diagrams as Part of Physical theories: A representational Conception  12th
Diagrams as Part of Physical Theories: A Representational Co...
收藏 引用
12th international conference on the theory and Application of diagrams (diagrams)
作者: Anta, Javier Univ Barcelona Dept Log Hist & Filosofia Ciencia C Montalegre 6-84 FloorOff 4013 Barcelona 08001 Spain
throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following [8], I defend a semantic-representational conception of theo... 详细信息
来源: 评论
Modes of diagrammatic Reasoning in Euclid's Elements  11th
Modes of Diagrammatic Reasoning in Euclid's Elements
收藏 引用
11th international conference on the theory and Application of diagrams (diagrams)
作者: Blaszczyk, Piotr Petiurenko, Anna Pedag Univ Cracow Inst Math Podchorazych 2 Krakow Poland
the standard attitude to Euclid's diagrams is focused on assumptions hidden behind intersecting lines. We adopt an alternative perspective and study the diagrams in terms of a balance between the visual and theore... 详细信息
来源: 评论
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study  11th
On Effects of Changing Multi-attribute Table Design on Decis...
收藏 引用
11th international conference on the theory and Application of diagrams (diagrams)
作者: Ideno, Takashi Morii, Masahiro Takemura, Kazuhisa Okada, Mitsuhiro Tokuyama Univ Shunan Yamaguchi Japan Keio Univ Minato Ku 2-15-45 Mita Tokyo Japan Waseda Univ Shinjuku Ku 1-6-1 Nishi Waseda Tokyo Japan
Information tables are often used for decision making. this study considers multi-attribute table designs from a diagrammatic perspective. We used two experiments to show how the decision-making strategies and perform... 详细信息
来源: 评论
Syllogistic with Jigsaw Puzzle diagrams  10th
Syllogistic with Jigsaw Puzzle Diagrams
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Martin Castro-Manzano, Jose UPAEP Fac Philosophy & Humanities 21 Sur 1103 Puebla Mexico
In this contribution we introduce a system that represents a modern version of syllogistic by exploiting an analogy with jigsaw puzzles.
来源: 评论
Calculus CL as Ontology Editor and inference Engine  10th
Calculus <i>CL</i> as Ontology Editor and Inference Engine
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Lemanski, Jens Fernuniv KSW D-58084 Hagen Germany
the paper outlines the advantages and limits of the so-called 'Calculus CL' in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, ... 详细信息
来源: 评论
'diagrams': A Hybrid Visual Information representation and Reasoning Paradigm Towards Video Analysis  10th
'Diagrams': A Hybrid Visual Information Representation and R...
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Nath, Chayanika Deka Hazarika, Shyamanta M. Tezpur Univ Comp Sci & Engn Biomimet & Cognit Robot Lab Tezpur 784028 India Indian Inst Technol Mech Engn Gauhati 781039 India
this paper presents a comprehensive representation for video analysis combining qualitative reasoning with diagrammatic reasoning. the hybrid approach is motivated by the power of diagrams that allows explicit relatio... 详细信息
来源: 评论
Towards a Typology of diagrams in Linguistics  10th
Towards a Typology of Diagrams in Linguistics
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Smessaert, Hans Demey, Lorenz Katholieke Univ Leuven Dept Linguist Leuven Belgium Katholieke Univ Leuven Ctr Log & Analyt Philosophy Leuven Belgium FWO Leuven Belgium
the aim of this paper is to lay out the foundations of a typology of diagrams in linguistics. We draw a distinction between linguistic parameters - concerning what information is being represented - and diagrammatic p... 详细信息
来源: 评论
diagrammatic Definitions of Causal Claims  10th
Diagrammatic Definitions of Causal Claims
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: McHugh, Dean Univ Amsterdam ILLC Amsterdam Netherlands
We present a class of diagrams in which to reason about causation. these diagrams are based on a formal semantics called 'system semantics', in which states of systems are related according to temporal success... 详细信息
来源: 评论
Scanning the Invisible: Framing diagrammatic Cognition in Experimental Particle Physics  10th
Scanning the Invisible: Framing Diagrammatic Cognition in Ex...
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Anta, Javier Univ Barcelona LOGOS Barcelona Spain
In this study I aim to develop a cognitive evaluation of how semantically-driven and rule-based diagrammatic reasoning were psychologically plausible for particular cases of scientific practice: an actual trackless pa... 详细信息
来源: 评论
Interpreting diagrammatic Reasoning - Between Empiricism and Realism  10th
Interpreting Diagrammatic Reasoning - Between Empiricism and...
收藏 引用
10th international conference on the theory and Application of diagrams (diagrams)
作者: Sochanski, Michal Poznań Poland
diagrams are frequently used in mathematics, not only in geometry but also in many other branches such as analysis or graph theory. However, the distinctive cognitive and methodological characteristics of mathematical... 详细信息
来源: 评论