294 search results - page 1 / 59 » diagrams 2006 |
DIAGRAMS
2006
Springer
13 years 8 months ago
2006
Springer
LOGCOM
2000
13 years 4 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...
DIAGRAMS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Euler diagrams are an effective and intuitive way of representing relationships between sets. As the number of sets represented grows, Euler diagrams can become `cluttere...
COMMA
2006
13 years 6 months ago
2006
In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
ITICSE
2006
ACM
13 years 11 months ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...