Results 11  20
of
3,673
Patching Up A Logic of Venn Diagrams
 Selected Papers from the Sixth CSLI Workshop on Logic, Language and Computation. CSLI
, 2000
"... Introduction Even though diagrammatic representations play an important role in the discovery and development of mathematical proofs, they are generally thought to be illegitimate and dangerous if integrally used in the final product. This bias is challenged in Barwise and Etchemendy 1991, where it ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
is one domain where diagrammatic reasoning has enjoyed limited respectability. Venn diagrams are often used to demonstrate syllogisms and to illustrate relationships among a small number of sets. It can be asked whether the diagrammatic heuristics presented in introductory set theory classes can
Venn diagram; Tree diagram
"... THE fundamental aim of education is the development of understanding: the mastery of concepts and procedures that permit the intelligent solution of problems in new and novel situations. In ..."
Abstract
 Add to MetaCart
THE fundamental aim of education is the development of understanding: the mastery of concepts and procedures that permit the intelligent solution of problems in new and novel situations. In
Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams
"... Abstract. A new diagrammatic notation for Syllogisms is presented: Category Pattern Diagrams, CPDs. A CPD configures different styles of line segments to simultaneously assign quantification values to categorical variables and relations among them. The design of CPDs attempts to coherently visualize ..."
Abstract
 Add to MetaCart
visualize the structure of syllogisms at various conceptual levels. In comparison to Venn Diagrams and conventional verbal expressions of syllogisms, the potential benefits of CPD may include: a relatively straightforward inference method; simple rules for evaluating validity; applicability to multiple (>
Venn Diagrams with Few Vertices
 ELECTRON. J. COMBIN.
, 1998
"... An nVenn diagram is a collection of n finitelyintersecting simple closed curves in the plane, such that each of the 2 n sets X 1 #X 2 # #X n , where each X i is the open interior or exterior of the ith curve, is a nonempty connected region. The weight of a region is the number of curve ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
An nVenn diagram is a collection of n finitelyintersecting simple closed curves in the plane, such that each of the 2 n sets X 1 #X 2 # #X n , where each X i is the open interior or exterior of the ith curve, is a nonempty connected region. The weight of a region is the number
SPUDD: Stochastic planning using decision diagrams
 In Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence
, 1999
"... Recently, structured methods for solving factored Markov decisions processes (MDPs) with large state spaces have been proposed recently to allow dynamic programming to be applied without the need for complete state enumeration. We propose and examine a new value iteration algorithm for MDPs that use ..."
Abstract

Cited by 234 (23 self)
 Add to MetaCart
that uses algebraic decision diagrams (ADDs) to represent value functions and policies, assuming an ADD input representation of the MDP. Dynamic programming is implemented via ADD manipulation. We demonstrate our method on a class of large MDPs (up to 63 million states) and show that significant gains can
Nested Venn Diagrams
"... Nesting is used to extend Venn Diagrams from their usual practical limit of three or four sets to a form that readily handles five to eight sets. Although devised independently, such nested diagrams can be viewed as the application to Venn Diagrams of an idea proposed in 1896 by Lewis Carroll, in th ..."
Abstract
 Add to MetaCart
Nesting is used to extend Venn Diagrams from their usual practical limit of three or four sets to a form that readily handles five to eight sets. Although devised independently, such nested diagrams can be viewed as the application to Venn Diagrams of an idea proposed in 1896 by Lewis Carroll
V is for Venn Diagrams
"... Would you like to produce Venn Diagrams easily? This poster shows how you can produce stunning 2, 3 and 4 Way Venn diagrams by utilizing the Graph Template Language in particularly the drawoval and drawtext statements. Venn Diagrams are extremely useful when looking at results of transcriptomic expe ..."
Abstract
 Add to MetaCart
Would you like to produce Venn Diagrams easily? This poster shows how you can produce stunning 2, 3 and 4 Way Venn diagrams by utilizing the Graph Template Language in particularly the drawoval and drawtext statements. Venn Diagrams are extremely useful when looking at results of transcriptomic
Drawing Venn Diagram
, 2000
"... We use a straightline graphdrawing algorithm to draw overlapping triangles. The graphs and extended colinearity constraints are chosen to be graphs of 6Venn diagrams, using a graph theoretic bruteforce search. A method for identifying the corners in a family of intersecting simple closed cu ..."
Abstract
 Add to MetaCart
We use a straightline graphdrawing algorithm to draw overlapping triangles. The graphs and extended colinearity constraints are chosen to be graphs of 6Venn diagrams, using a graph theoretic bruteforce search. A method for identifying the corners in a family of intersecting simple closed
Visualizations with Venn and Euler Diagrams
"... Venn and Euler diagrams intuitively visualize relationships and relative cardinalities of data sets. They are used extensively in areas as biosciences, business and criminology to facilitate data reasoning and analysis. However, current automatic drawing techniques do not always produce desirable di ..."
Abstract
 Add to MetaCart
Venn and Euler diagrams intuitively visualize relationships and relative cardinalities of data sets. They are used extensively in areas as biosciences, business and criminology to facilitate data reasoning and analysis. However, current automatic drawing techniques do not always produce desirable
Venn and Euler Data Diagrams
"... Scientists conducting microarray and other experiments use Venn and Euler diagrams to analyze and illustrate their results. Most existing computer programs that implement Venn and Euler diagrams are limited to three sets. The few programs that plot more than three sets rest on adhoc methods, such a ..."
Abstract
 Add to MetaCart
Scientists conducting microarray and other experiments use Venn and Euler diagrams to analyze and illustrate their results. Most existing computer programs that implement Venn and Euler diagrams are limited to three sets. The few programs that plot more than three sets rest on adhoc methods
Results 11  20
of
3,673