Search Sciweavers | Sciweavers

4617 search results - page 8 / 924

» Automation of Diagrammatic Reasoning

Voted

DIAGRAMS
2006
Springer

76views Artificial Intelligence» more DIAGRAMS 2006»

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

15 years 1 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 »

Voted

AAAI
2000

83views Intelligent Agents» more AAAI 2000»

Qualitative Spatial Interpretation of Course-of-Action Diagrams

14 years 11 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 »

147

Voted

FASE
2011
Springer

217views Software Engineering» more FASE 2011»

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

14 years 1 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 »

151

click to vote

ECSQARU
1997
Springer

334views Automated Reasoning» more ECSQARU 1997»

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

15 years 1 months ago