Search Sciweavers | Sciweavers

4617 search results - page 157 / 924

» Automation of Diagrammatic Reasoning

159

click to vote

COGSCI
2006

107views more COGSCI 2006»

Arrows in Comprehending and Producing Mechanical Diagrams

15 years 6 months ago

Download www-psych.stanford.edu

Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...

Julie Heiser, Barbara Tversky

claim paper

Read More »

160

click to vote

LISP
2002

105views more LISP 2002»

Specification Diagrams for Actor Systems

15 years 6 months ago

Download www.cs.jhu.edu

Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...

Scott F. Smith, Carolyn L. Talcott

claim paper

Read More »

149

click to vote

NMR
2004
Springer

219views Automated Reasoning» more NMR 2004»

Qualitative and probabilistic uncertainty in reasoning about actions with sensing

15 years 11 months ago

Download www.dis.uniroma1.it

Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Ri...

claim paper