Sciweavers

98 search results - page 3 / 20
» Projections in Venn-Euler Diagrams
Sort
View
ESA
2008
Springer
97views Algorithms» more  ESA 2008»
13 years 7 months ago
The Complexity of Bisectors and Voronoi Diagrams on Realistic Terrains
We prove tight bounds on the complexity of bisectors and Voronoi diagrams on so-called realistic terrains, under the geodesic distance. In particular, if n denotes the number of tr...
Boris Aronov, Mark de Berg, Shripad Thite
ATVA
2010
Springer
154views Hardware» more  ATVA 2010»
13 years 6 months ago
Lattice-Valued Binary Decision Diagrams
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall,...
MVA
1994
175views Computer Vision» more  MVA 1994»
13 years 7 months ago
Understanding Electronic Circuit Diagrams and Linking with ORCAD
CT This paper presents a rapid detecting method to tell the external contours from internal ones, and adopt an aid measure of adding 'black points" . These two methods re...
Shi Zesheng, Jiang Cunhong, Li Sifang, Yang Jing
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
13 years 3 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
ROOM
2000
13 years 7 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...