Sciweavers

245 search results - page 2 / 49
» diagrams 2010
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
13 years 4 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
FUN
2010
Springer
240views Algorithms» more  FUN 2010»
13 years 9 months ago
Symmetric Monotone Venn Diagrams with Seven Curves
An n-Venn diagram consists of n curves drawn in the plane in such a way that each of the 2n possible intersections of the interiors and exteriors of the curves forms a connected no...
Tao Cao, Khalegh Mamakani, Frank Ruskey
IJISMD
2010
164views more  IJISMD 2010»
13 years 2 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
DCG
2010
101views more  DCG 2010»
13 years 3 months ago
Unknot Diagrams Requiring a Quadratic Number of Reidemeister Moves to Untangle
Given any knot diagram E, we present a sequence of knot diagrams of the same knot type, for which the minimum number of Reidemeister moves required to pass to E is quadratic with ...
Joel Hass, Tahl Nowik
DCG
2010
171views more  DCG 2010»
13 years 4 months ago
Bregman Voronoi Diagrams
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
Jean-Daniel Boissonnat, Frank Nielsen, Richard Noc...