Search Sciweavers | Sciweavers

4617 search results - page 8 / 924

» Automation of Diagrammatic Reasoning

164

click to vote

DIAGRAMS
2006
Springer

76views Artificial Intelligence» more DIAGRAMS 2006»

Exploring the Effect of Animation and Progressive Revealing on Diagrammatic Problem Solving

15 years 10 months ago

Download www.eng.auburn.edu

We conducted eye-tracking studies of subjects solving the problem of finding shortest paths in a graph using a known procedure (Dijkstra's algorithm). The goal of these studie...

Daesub Yoon, N. Hari Narayanan, SooCheol Lee, Oh-C...

claim paper

Read More »

167

click to vote

AAAI
2000

83views Intelligent Agents» more AAAI 2000»

Qualitative Spatial Interpretation of Course-of-Action Diagrams

15 years 7 months ago

Download www.qrg.northwestern.edu

This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...

Ronald W. Ferguson, Robert A. Rasch Jr., William T...

claim paper

Read More »

273

click to vote

FASE
2011
Springer

217views Software Engineering» more FASE 2011»

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

14 years 10 months ago

Download www.veriware.org

Probabilistic veriﬁcation techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...

Lu Feng, Marta Z. Kwiatkowska, David Parker

claim paper

Read More »

362

click to vote

ECSQARU
1997
Springer

334views Automated Reasoning» more ECSQARU 1997»

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

15 years 10 months ago