Sciweavers

359 search results - page 5 / 72
» On the number of chord diagrams
Sort
View
LICS
2005
IEEE
14 years 1 months ago
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
Jérôme Leroux
ESTIMEDIA
2008
Springer
13 years 9 months ago
Translating data flow to synchronous block diagrams
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
Roberto Lublinerman, Stavros Tripakis
DCG
2007
91views more  DCG 2007»
13 years 7 months ago
Which n-Venn Diagrams Can Be Drawn with Convex k-Gons?
We establish a new lower bound for the number of sides required for the component curves of simple Venn diagrams made from polygons. Specifically, for any n-Venn diagram of conve...
Jeremy Carroll, Frank Ruskey, Mark Weston
DMS
2010
203views Multimedia» more  DMS 2010»
13 years 6 months ago
Recognizing Sketches of Euler Diagrams Drawn with Ellipses
Euler diagrams form the basis of a number of visual languages. However, the existing tool support for creating Euler diagrams is limited to generic diagram editing software that u...
Aidan Delaney, Beryl Plimmer, Gem Stapleton, Peter...
MST
2006
106views more  MST 2006»
13 years 7 months ago
More Fun with Symmetric Venn Diagrams
Abstract. Many researchers have had fun searching for and rendering symmetric Venn diagrams, culminating in the recent result of Griggs, Killian, and Savage ("Venn Diagrams an...
Frank Ruskey, Mark Weston