204 search results - page 29 / 41 » Reasoning with Spider Diagrams |
JURIX
2007
13 years 9 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
AIEDAM
2002
2002
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
13 years 7 months ago
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
FLOPS
2010
Springer
13 years 6 months ago
2010
Springer
We present a flexible skeleton for implementing distributed work pools in our parallel functional language Eden. The skeleton manages a pool of tasks (work pool) in a distributed ...
SYNTHESE
2010
13 years 6 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...