Sciweavers

245 search results - page 12 / 49
» diagrams 2010
Sort
View
APN
2010
Springer
13 years 11 months ago
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
Junaid Babar, Marco Beccuti, Susanna Donatelli, An...
ER
2010
Springer
132views Database» more  ER 2010»
13 years 5 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
CCCG
2010
13 years 9 months ago
Existence of zone diagrams in compact subsets of uniformly convex spaces
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and ...
Eva Kopecká, Daniel Reem, Simeon Reich
DLOG
2010
13 years 5 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
IJON
2010
119views more  IJON 2010»
13 years 4 months ago
V-Proportion: A method based on the Voronoi diagram to study spatial relations in neuronal mosaics of the retina
The visual system plays a predominant role in the human perception. Although all components of the eye are important to perceive visual information, the retina is a fundamental pa...
Óscar Martínez Mozos, Jose Angel Bol...